7 , 2 » ; 8 , u ( gödel.