The Notion of Mathematical Proof and the Problem of Explanation in Mathematics. ZFN 2015, No. 58, 89-114.