>Это же просто утверждение о том, что любое множество проективно (как обьект в категории множеств). Т.е. у любого сюрьективного отображения есть сечение.

Если вы уповаете на интуитивную очевидность, то классика это: произведение непустых множеств непусто (что и есть нормальная переформулировка древнего говна). "Проблема", вынесенная в пост, была сформулирована как то, что AC-утверждения мы никак в реальности не используем, на наши решения они не влияют, сингулярность не приблизят. Попытка "обнаружить" проявления AC в физике тщетна. Далее объяснили нетривиальную вещь, что это бред.

Нетривиальную, потому что, скажем, континуум-гипотезу и математику вокруг нее точно можно выбросить и точно на жизнь она не повлияет (окромя того, что она очерчивает некоторые границы внутри самой математики). Это, разумеется, эмпирическое утверждение.