Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

proof theory · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Polski Português Svenska Tiếng Việt Türkçe Русский العربية فارسی हिन्दी 한국어 中文日本語

EntityQ852732· pop 29· linked from 458 articles

proof theory

Also known as proof systems

branch of mathematical logic

Available in 29 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
Italiano
العربية
हिन्दी

Connections

natural deduction

Categories

Mathematical logic Metalogic Proof theory

Sources

wikipedia.externallinksexternallink

Show 10 more

Nederlands
Pashto
Polski
Svenska
Tiếng Việt
Türkçe
Ukrainian
zh_classical
فارسی
한국어

via Wikidata sitelinks · CC0

semantic theory of truth

Entity

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

Sign in to save

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