Keywords: logika prvega reda, Peanova aritmetika, primitivno rekurzivne funkcije, Gödlovo število, Gödlov izrek o nepopolnostiFull text (file, 467,38 KB)