6 , 1 » ( gödel .)