Wójtowicz, K. The Notion of Mathematical Proof and the Problem of Explanation in Mathematics. ZFN 2015, No. 58, 89-114. https://doi.org/10.59203/zfn.58.9.