Derivation of Theorems from Axioms Protocol for Conceptual Framework Development | Derivation of Theorems from Axioms | Mathematics | NEROS