9 , 3 » ( gödel.