Proof-Theoretic Analysis of Axiom Systems Protocol for Conceptual Framework Development | Proof-Theoretic Analysis of Axiom Systems | Mathematics | NEROS