Proof-Theoretic Analysis of Axiom Systems Protocol for Validation, Review, and Interpretation | Proof-Theoretic Analysis of Axiom Systems | Mathematics | NEROS