class Axioms