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 a2 ∀ (~(a2(0)) ∨ a2(0)). This formula has 16 basic signs, with individual Gödel numbers 172, 9, 11, 5, 11, 172, 11, 1, 13, 13, 7, 172, 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.