24 декабря 2023 г. Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна.
Подробности случившегося. Мы призываем всех неравнодушных
помочь нам с восстановлением утраченного контента!
Сап, /сци/ вы наверно слышали что общепризнаного основания математики не существует.
Прочитал тут что основная проблема в формулировании аксиом что из них нельзя ни доказать не опровергнуть важных вещей а именно: континуум-гипотезы и аксиомы выбора.
А теперь следите за руками: из более сильного утверждения, обобщённой континуум-гипотезы следует и континиум гипотеза(логична правда?) и аксиома выбора. Так вот возникает вопрос: хули математикам не взять это утверждение за аксиому и сказать что всё готово, давай кушать братишка?