Объясните теоретическую концепцию трансфинитных чисел Георга Кантора. В чем заключается различие между счетными и несчетными множествами? Опишите диагональный аргумент Кантора, используемый для доказательства того, что множество действительных чисел 'больше', чем множество натуральных чисел. Обсудите implications этого открытия для основ математики.