Axiom Schema Formulation Protocol | Axiomatization | Mathematics | NEROS