Twierdzenie Gödla - NAGEL, Ernest; NEWMAN, James K. (Warszawa, 1966)