Conceptual (and hence mathematical) explanation, conceptual grounding and proof

This paper studies the notions of conceptual grounding and conceptual explanation (which includes the notion of mathematical explanation), with an aim of clarifying the links between them. On the one hand, it analyses complex examples of these two notions that bring to the fore features that are easily overlooked otherwise. On the other hand, it provides a formal framework for modeling both conceptual grounding and conceptual explanation, based on the concept of proof. Inspiration and analogies are drawn with the recent research in metaphysics on the pair metaphysical grounding–metaphysical explanation, and especially with the literature in philosophy of science on the pair causality-causal explanation.