Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

diagonal lemma · Vinony

EntityQ2904195· pop 8· linked from 30 articles

diagonal lemma

Sign in to save

Statement in mathematical logic

Connections

Gödel numbering

Tarski's undefinability theorem

International Standard Book Number

mathematical logic

Gödel's incompleteness theorems

Stanford Encyclopedia of Philosophy

computability theory

first-order logic

Cantor's diagonal argument

Raymond Smullyan

μ-recursive function

list of paradoxes

Categories

Lemmas Mathematical logic

Sources

wikipedia.externallinksexternallink

What links here30 pages

Kleene's recursion theorem

Cantor's diagonal argument

primitive recursive function

fixed-point theorem

Gödel's incompleteness theorems

Tarski's undefinability theorem

use–mention distinction

Similar entities

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

Entitydist 0.45

Entitydist 0.54

Entitydist 0.55

Cantor–Dedekind axiom

Entitydist 0.57

square of opposition

Entitydist 0.59

Entitydist 0.59

Entitydist 0.60

anti-diagonal matrix

Entitydist 0.61

identity matrix

Entitydist 0.61

logical assertion

Entitydist 0.62

linear temporal logic

Entitydist 0.62

Entitydist 0.63