Proof-Theoretic Derivation Protocol for Conceptual Framework Development | Proof-Theoretic Derivation | Mathematics | NEROS