Category:Axiom

Axioms and systems of axioms go in this category.