Definition:Hilbert 23/2

Consistency of Axioms of Mathematics
Proof that the axioms of mathematics are consistent.