Template:Mathematical text/Axiom