Можно выделить два альтернативных подхода к рассмотрению онтологического статуса математики. Предмет можно рассматривать как сущность, обладающую определенными свойствами, или как элемент в определенной системе отношений. Поэтому изучение природы математических объектов можно проводить в рамках, заданных двумя, в определенном смысле конкурирующими, категориями – сущности и структуры.
Дискуссия между сторонниками двух связанных с этими категориями подходов – весьма типичная черта жизни философского и математического сообщества как в прошлом, так и сейчас. Ниже мы попытаемся обосновать это утверждение рядом ссылок.