(logic) A number uniquely assigned to each symbol, and to each well-formed formula of some formal language.

plural of Gödel number

plural of Gödel numbering

(logic) A function assigning a Gödel number to each well-formed formula of some formal language.

(logic, mathematics) One of two theorems in mathematical logic that demonstrates the inherent limitations of every formal axiomatic system containing basic arithmetic.

plural of Gödel's incompleteness theorem

plural of Gödelization

(logic) Gödel numbering

Alternative spelling of Gödelization

Alternative form of Godelian