diagonal lemma
Sign in to saveStatement in mathematical logic
Connections
self-reference
Entity
Gödel numbering
Entity
Tarski's undefinability theorem
Entity
International Standard Book Number
Entity
natural number
Entity
set theory
Entity
number theory
Entity
Kurt Gödel
Entity
mathematical logic
Entity
Rudolf Carnap
Entity
Gödel's incompleteness theorems
Entity
Alfred Tarski
Entity
Stanford Encyclopedia of Philosophy
Entity
computability theory
Entity
Peano axioms
Entity
first-order logic
Entity
Cantor's diagonal argument
Entity
Raymond Smullyan
Entity
μ-recursive function
Entity
list of paradoxes
Entity