Ах да, совсем забыл: теорема Цермело меня сильно шокировала, когда о ней узнал. До того места мыслил о вполне упорядоченных множествах как о чём-то вроде натуральных числах (в том смысле, что за каждым элементом есть непосредственно следующий и т.п.). А тут на тебе.
Осознание счётности
и несчётности
вызвало похожие эмоции. Между любыми двумя иррациональными есть рациональное. Между любыми двумя рациональными есть иррациональное. А тут на тебе.
Удивительно, но загадочная аксиома выбора (в её разных формулировках) оставила меня абсолютно равнодушным. Интуиция, воспитанная на конечных вещах, восприняла её как очевидный факт... Может быть это бомба замедленного действия? Будем ждать...
Наверное, ни один учебник так не противоречит наивной интуиции как учебник по теории множеств. Это как теория относительности в физике.