Concept

Tarski's undefinability theorem

Overview

theorem that truth in the standard model of a formal system cannot be defined within the system

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• First-order logic
• Zermelo–Fraenkel set theory
• John von Neumann
• Negation
• Truth value
• Kurt Gödel
• Foundations of mathematics
• Predicate (grammar)
• Mathematical logic
• Natural number
• Reductio ad absurdum
• Peano axioms
• Rule of inference
• Recursion
• Self-reference
• Semantics
• Second-order arithmetic
• Formal system
• Metalanguage
• Structure (mathematical logic)
• Quantifier (logic)
• Gödel's incompleteness theorems
• Alfred Tarski
• Axiom

Place in the tradition

Part of Coherentism.

Explore Tarski's undefinability theorem in the interactive graph →