Нужно доказать, что множество действительных чисел несчетно (не равномощно множеству натуральных). Одним из классических доказательств является диагональный процесс Кантора:
Предположим, что соответствие нашлось, тогда высшем подряд все числа в десятичной виде:
0,a11 a12 a13 a14
0,a21 a22 a23 a24
0,a31 a32 a33 a34
Теперь составим число 0,b1 b2 b3... у которого b1 <> a11, b2<> a22 и так далее
Это число в последовательности ге встречается. Получили противоречие с тем, что перечислены все числа.
