Вообще, математика, как формальная система может сказать, в ней существует ли некий объект, не существует, либо существование недоказуемо. Типа континуум-гипотезы, и тогда можно постулировать его (не)существование. Это онтология в узком смысле, ведь и квантор существования интерпретируется как существование, и выбор аксиом произволен.

(Reply to this) (Parent) (Thread)

Да именно как формальная система. Но существование в рамках формальной системы это не то же самое, что существование в мире. А существование, например, актуальной бесконечности это в определенной степени вопрос именно о реальном мире.

(Reply to this) (Parent) (Thread)

Для меня как платоника реального мира не существует, мы зашли в тупик.

(Reply to this) (Parent)