Последователи Платону считают, что "идеальные формы" математики ведут своего рода независимое существование "где-то там", в некоем собственном царстве, отличном от материального мира. (Существуют более тонкие формулировки, которые, вероятно, звучат более здраво, но суть именно в этом.) Вторые видят в математике общечеловеческую концепцию. Но, в отличие от большинства подобных концепций - законодательной системы, денег, этики, морали, математика представляет собой конструкцию с прочной логической основой. Существуют серьёзные ограничения на то, какие утверждения вы можете или не можете предлагать остальным. Именно из-за этих ограничений возникает впечатление, что математика сама решает, что её делать и как развиваться; они же создают у математиков ощущение, что их наука существует сама по себе вне зоны человеческой деятельности. Мне представляется, что платонизм - это описание не того, что есть математика на самом деле, а того, как jeoftn математику человек, в ней работающий.