В первой статье мы рассмотрели «предысторию» Теории Множеств. Во второй мы рассмотрели, как в ней определяется одно из основных понятий математики - функция. В третьей статье мы рассмотрели, как Теория Множеств реализует бесконечность. Но теперь мы подошли к заключительной, четвёртой статье цикла, где мы рассмотрим, почему та Теория Множеств, которую сформулировал Георг Кантор, обрела название Наивной. Мы рассмотрим, как Математический Атлант расправил плечи, уронив небосвод оснований математики… На деле, парадокс Кантора не был первым, который «предъявили» Наивной Теории Множеств...

Приветствую Вас, уважаемые Читатели! Сегодня я хочу рассказать Вам про очередной парадокс из бабушки наук - теории множеств, который назван в честь нашего нового знакомого Чезаре Бурали-Форте (да-да, именно тот, который придумал причудливое определение 1). Для того, чтобы разобрать в парадоксе Бурали-Форте нужно знать, что такое такое ординалы. Я уже несколько раз за время существования канала писал о них, и сейчас повторю, тем более, что самое определение чрезвычайно простое. Итак, считая произвольные предметы, мы используем числа, принадлежащие натуральному ряду...