Category:Axioms/Mathematical Logic

This category contains axioms related to Mathematical Logic.

Mathematical logic is a sub-branch of symbolic logic in which the foundations of the assumptions upon which rest mathematics itself are investigated and made rigorous.