Axiom Equivalence Analysis Protocol | Axiomatization | Mathematics | NEROS