Tarski's theorem

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs gptkb:Tarski's_undefinability_theorem
gptkbp:appliesTo gptkb:Peano_arithmetic
formal languages
gptkbp:consequence No consistent, sufficiently expressive formal system can define its own truth predicate.
gptkbp:field gptkb:logic
model theory
https://www.w3.org/2000/01/rdf-schema#label Tarski's theorem
gptkbp:influenced foundations of mathematics
philosophy of language
theory of truth
gptkbp:namedAfter gptkb:Alfred_Tarski
gptkbp:publishedIn 1936
gptkbp:relatedTo gptkb:Gödel's_incompleteness_theorems
gptkbp:sentence Truth in arithmetic cannot be defined within arithmetic itself.
gptkbp:bfsParent gptkb:Alfred_Tarski
gptkbp:bfsLayer 4