Hilbert system
Sign in to saveAlso known as Hilbert calculus, Hilbert-style deductive system, Hilbert–Ackermann system
system of formal deduction in logic
Connections
propositional calculus
Entity
first-order logic
Entity
semantic theory of truth
Entity
axiom
Entity
mathematical logic
Entity
formal system
Entity
recursive set
Entity
semantics of logic
Entity
free and bound variables
Entity
structure
Entity
diagram
Entity
ground expression
Entity
logic
Entity
Euclid
Entity
International Standard Book Number
Entity
David Hilbert
Entity
Ancient Greek
Entity
set theory
Entity
function
Entity
John von Neumann
Entity