( gödel ) ; 2 23 e. m.