Axiom Simplification Protocol for Conceptual Framework Development | Axiom Simplification | Mathematics | NEROS