l , ts (gödel