Tarski's undefinability theorem

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo formal languages
first-order arithmetic
gptkbp:consequence semantic paradoxes in formal systems
truth predicate for arithmetic is not arithmetically definable
gptkbp:field gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label Tarski's undefinability theorem
gptkbp:implies no consistent sufficiently expressive formal system can define its own truth predicate
gptkbp:influenced model theory
philosophy of language
theory of truth
gptkbp:namedAfter gptkb:Alfred_Tarski
gptkbp:publishedIn gptkb:Fundamenta_Mathematicae
gptkbp:relatedTo gptkb:Gödel's_incompleteness_theorems
gptkbp:sentence Truth in arithmetic cannot be defined within arithmetic itself.
gptkbp:yearProposed 1936
gptkbp:bfsParent gptkb:Alfred_Tarski
gptkbp:bfsLayer 4