Proof-Theoretic Analysis of Axiom Systems Protocol for Structured Analytical Execution | Proof-Theoretic Analysis of Axiom Systems | Mathematics | NEROS