В этом сообщении я хочу рассказать о высших аксиомах бесконечности – такой вещи, про которую мало кто знает даже из математиков, а те, кто знает, как правило, запутались в заблуждениях. Есть такие люди, которые обожают мастурбировать на парадоксы. Они всегда готовы убедить вас, что человеческое мышление противоречиво из-за несовершенства эволюции, а математические рассуждения есть всего лишь чисто формальный вывод одних буковок из других, и эти люди всегда приведут различные доказательства этому, в том числе основанные на логических парадоксах, именно такие люди распространяют в массы больше всего заблуждений про основания математики вообще и теорию множеств в частности. Я же стараюсь убедить читателя, что все парадоксы – исключительно от глупости (не той, которая от несовершенства эволюции, а обычной, которая устраняется с помощью правильного обучения и физического выбивания дури). Поэтому я против мастурбаторов на парадоксы, ибо онанировать на собственную глупость – это плохо. Из-за таких вот популяризаторов-парадоксофилов многие считают, что проблемы оснований математики – это что-то настолько парадоскальное, противоречивое, что лучше туда просто не соваться, а использовать готовые проверенные годами аксиомы. Я не считаю это правильным. Всегда нужно понимать, откуда ноги растут.
Высшие аксиомы бесконечности (ВАБ) – это аксиомы, утверждающие в некотором смысле о существовании множеств очень большой мощности. Можно образно сказать, что они соотносятся с обычными теоретико-множественными аксиомами так же, как аксиома бесконечности (существования множества натуральных чисел) соотносится с аксиомами арифметики Пеано. Эти аксиомы – это не просто взятые с потолка утверждения, а вполне разумные расширения теории множеств, позволяющие получать “правильные”, “осмысленные” выводы.
