Еще один сюрприз из области оснований математики. Как я уже рассказывал, существуют аксиоматические теории множеств, регламентирующие "правила игры". Потому что с "наивной" теорией далеко не уедешь --- либо полезут парадоксы, либо ничего не доказать. Мы уже обсуждали гипотезу континуума: на отрезке может быть множество, которое несчетное, но и не континуум...