th : , tran Gödel telge 1.