Inference to the Best Explanation as a Form of Non-Deductive Reasoning in Mathematics. - Lange, Marc (Philosophia Mathematica, 2025)