Definition
Consistent Theory (Propositional Hilbert Calculus)
A propositional theory
is consistent in the Hilbert calculus if falsum is not derivable from :
Consistency and Satisfiability
Consistency and satisfiability coincide
For every propositional theory
: This connects syntactic consistency to satisfiability, by soundness and completeness of
.