Но вся беда в том, что ни один живой человек не видел, не слышал, не щупал бесконечности! Поэтому до Кантора математики признавали и использовали так называемую ПОТЕНЦИАЛЬНУЮ бесконечность. Самый кондовый пример – это понятие бесконечно большого числа в высшей математике. Бесконечно большое число это число, которое больше любого наперед заданного. Если человек не понимает, о чем речь, то его просят назвать самое большое число в мире!… Образованный человек обычно называет число миллиардмиллиардов. А ему об'ясняют, что бесконечно большое число больше этого числа – «даже больше чем на еще миллиардмиллиардов».

То есть у нас с вами всегда в запасе есть число потенциально(!) большее, чем придумает эрудит…

Кантор же позволил себе в математике АКТУАЛЬНУЮ бесконечность. То есть то, что до этого могли позволить себе лишь поэты, с которых, как известно, никто строго не спросит… «звездам числа нет, бездне дна». Поэты не любят, чтобы по крохам, по каплям… Любят, чтоб сразу! "Вот она, ВСЯ бездна вашего падения!… Дарю тебе ВСЕ звезды – такой ничтожной малости, для тебя моя, бесценная-единственная, не жалко!"… То есть по Кантору бесконечность существует сразу вся. А раз бесконечные множества есть, и сразу целиком, то с ними можно производить математические манипуляции. Их даже можно сравнивать на больше-меньше.

Поэтому Кантор начал задавать себе «поэтические» вопросы и искать на них математические ответы. Один из ключевых вопросов: "БЕСКОНЕЧНО МНОГО – это всегда ОДИНАКОВО БЕСКОНЕЧНО МНОГО? Или могут быть большие и меньшие бесконечности?"

Чего больше, звезд на небе или точек на прямой?…

Кантор доказал великую теорему, из которой следует, что бесконечности могут быть разные по величине. Поскольку «число» и «количество» – слова в этом случае неуместные, то он ввел термин «мощность».