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.

proof theory · Vinony

EntityQ852732· pop 29· linked from 458 articles

proof theory

Sign in to save

branch of mathematical logic

Connections

natural deduction

semantic theory of truth

mathematical proof

mathematical logic

propositional calculus

Gödel's incompleteness theorems

lambda calculus

computability theory

first-order logic

Zermelo–Fraenkel set theory

semantics of logic

ground expression

Categories

Mathematical logic Metalogic Proof theory

Sources

wikipedia.externallinksexternallink

Similar entities

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

Curry–Howard correspondence

Entitydist 0.41

Entitydist 0.42

Entitydist 0.45

theory of knowledge

Entitydist 0.49

Entitydist 0.50

automated theorem proving

Entitydist 0.51

theoretical philosophy

Entitydist 0.52

Entitydist 0.54

Hilbert's program

Entitydist 0.54

Entitydist 0.55

Von Neumann–Bernays–Gödel set theory

Entitydist 0.56

Entitydist 0.58

What links here458 pages

cut-elimination

Craig interpolation

Solomon Feferman

computer-assisted proof

lambda calculus

Mostowski collapse lemma

Cantor's paradox

three-valued logic

superseded scientific theory

algebra of sets

actual infinity

compactness theorem

Stanisław Jaśkowski

proof of impossibility