большинство математиков - платоники - в том смысле, что верят, что их объекты существуютв мире идей.(Правда при этом Платон считал лишь мир идей настоящим", с чем мало кто сейчас согласится). Эти идеи объективны, поскольку доступны и неизменны для любого разума. Так при исследовании движения космических тел нельзя не придти к коническим сечениям. С другой стороны, они не имеют материального носителя.
Не соглашусь с FARINATA UBERTI о сводимости к истинам. Аксиоматическая теория построена по другому, она НАЧИНАЕТ с аксиом, например, ab=ba, (a+b)c=ab+ac. a+0=a, то есть, описывает свойства данного класс объектов. Так как эти аксиомы не выполняются, например, для матриц, называть их истинами неестественно.
Ну я раньше примерно так и думал.