7 , s ( gödel.