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.

Hilbert system · Vinony

EntityQ910361· pop 8· linked from 344 articles

Hilbert system

Sign in to save

system of formal deduction in logic

Connections

propositional calculus

first-order logic

semantic theory of truth

mathematical logic

semantics of logic

free and bound variables

ground expression

International Standard Book Number

John von Neumann

Categories

Automated theorem proving Logical calculi Proof theory

Sources

wikipedia.externallinksexternallink

Similar entities

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

Gödel's incompleteness theorems

Entitydist 0.52

normal modal logic

Entitydist 0.55

Tarski's undefinability theorem

Entitydist 0.55

program synthesis

Entitydist 0.55

Guarded Command Language

Entitydist 0.56

Lindenbaum–Tarski algebra

Entitydist 0.57

Entitydist 0.57

Heyting algebra

Entitydist 0.57

Entitydist 0.57

Entitydist 0.60

Entitydist 0.62

Entitydist 0.63

What links here344 pages

first-order logic

deduction theorem

intuitionistic logic

Gödel's completeness theorem

rule of inference

mathematical logic

axiomatic system

Mostowski collapse lemma

material implication

algebra of sets

superseded scientific theory

Cantor's paradox

three-valued logic

logical contradiction

proof of impossibility

compactness theorem

Courcelle's theorem