Понятие об идеальном без материальной реальности не имело бы смысла. Как и наоборот.
Материальный мир - подмножество идеального, не?
Ну да
Это только одна из идей - о подмножествах, и только внутри нее эти рассуждения могут иметь смысл. В более мягкой формулировке - это имеет смысл, только если математические категории вообще принимать за абсолютные и категории множеств принимать за необходимые внутри математики.
Ну это как договоримся. Разная аксиоматика, разные игры. По-моему, квинтэссенция математики это даже не логика, а теория игр. И философии тоже.
Решили
Алиса и Боб Карл и Фридрих пожить в мире, где у материи нет антитезы. Окей.
Решил Георгий Васильевич пожить в мире, где история - это борьба идей-наций. Окей.
Решил Джордано Бруно, что звезды - это тоже Солнца. Окей.
Решил Гильбо, что где звезды - это солнечный свет, странным образом преломленный. Окей.
Бумага, она все стерпит. We do it for lulz. Как и в математике. Какой-то практический результат всегда и принципиально побочен, а первично... Чувство прекрасного, что ли.
По-моему, материальное как подмножество идеального - это красиво.