Definition by Axioms Protocol | Axiomatization | Mathematics | NEROS