Category:Axioms/Natural Deduction

For a full definition of Natural Deduction and the Natural Deduction Axioms, see this page.