2 , j« ( gödel.