The progress of mathematics depends not only on the solution of practical problems but also on discovering such formal systems in which implicit concepts are used. Such ontologization of mathematical objects is named «mathematical Platonism». The article shows that the problems of the philosophy of mathematics cannot be reduced to the question about the mathematical reality, as philosophers of mathematics have to overcome some «ontological discrepancy».
Прогресс математики зависит не только от решения практических задач, но и от открытия таких формальных систем, в которых используются неявные понятия. Такого рода онтологизацию математических объектов называют «математическим платонизмом». В статье показано, что проблемы философии математики нельзя свести к вопросу о математической реальности, поскольку философам математики приходится преодолевать некоторую «онтологическую неточность».