F. Poggiolesi

Mathematical Explanations and Axioms as Rules

Abstract This paper bridges two distinct traditions – philosophy of mathematics and proof theory – to provide a formal framework for explanatory proofs in mathematics. We focus on explanatory proofs that uncover the grounds of mathematical theorems, and we formalize their structu...