Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Tarski's undefinability theorem · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Português Русский 한국어 中文日本語

EntityQ574902· pop 11· linked from 337 articles

Tarski's undefinability theorem

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

Available in 11 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
Italiano
Hebrew

Connections

semantics of logic

semantic theory of truth

Categories

Mathematical logic Metatheorems Philosophy of logic Theorems in the foundations of mathematics Theories of truth

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

mathematical logic

Entity

Gödel's incompleteness theorems

first-order logic

Zermelo–Fraenkel set theory

rule of inference

Kolmogorov complexity

Gödel numbering

ground expression

International Standard Book Number

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Gödel's incompleteness theorems

Entitydist 0.38

Entitydist 0.55

Entitydist 0.55

complete theory

Entitydist 0.55

Lindenbaum–Tarski algebra

Entitydist 0.56

Knaster–Tarski theorem

Entitydist 0.57

Entitydist 0.58

program synthesis

Entitydist 0.59

New Foundations

Entitydist 0.59

Paris–Harrington theorem

Entitydist 0.60

normal modal logic

Entitydist 0.65

axiom of constructibility

Entitydist 0.65

What links here337 pages

computability theory

Gödel's incompleteness theorems

paradoxes of set theory

lambda calculus

elementary equivalence

logical positivism

Cantor's paradox

Mostowski collapse lemma

three-valued logic

algebra of sets

continuum hypothesis

rule of inference

proof of impossibility

logical contradiction

compactness theorem

material implication