Wójtowicz, K. The Notion of Mathematical Proof and the Problem of Explanation in Mathematics. ZFN 2015, 89-114.