Formal Deduction in an Axiom System Protocol for Conceptual Framework Development | Formal Deduction in an Axiom System | Mathematics | NEROS