Definition by Axioms Protocol for Structured Analytical Execution | Definition by Axioms | Mathematics | NEROS