Ključne besede: logika prvega reda, Peanova aritmetika, primitivno rekurzivne funkcije, Gödlovo število, Gödlov izrek o nepopolnostiCelotno besedilo (datoteka, 467,38 KB)