Диагональный аргумент Кантора (Cantor's Diagonal Argument) - Доказательство того, что действительных чисел «подавляюще больше», чем рациональных