This is the Gödel number of the smallest theorem in the formal system P used by Gödel in his first Incompleteness theorem. The smallest theorem in P is "0=0". This has only 3 symbols, but the symbol '=' is not a basic sign and must be expanded first before deriving the Gödel number. The expanded form of "0=0" is a_{2} ∀ (~(a_{2}(0)) ∨ a_{2}(0)). This formula has 16 basic signs, with individual Gödel numbers 17^{2}, 9, 11, 5, 11, 17^{2}, 11, 1, 13, 13, 7, 17^{2}, 11, 1, 13, 13. To get the Gödel number of the formula these numbers are used as the exponents of the first n prime numbers, where n is the number of basic signs.

Community content is available under CC-BY-SA
unless otherwise noted.