difference between z

Axiom vs. Theorem