_>Кстати, канторовская диагональ — чрезвычайно конструктивное доказательство.

Конструктивное — это если бы он показал, почему действительные числа несчётны.

А он колупнул туда, колупнул сюда и нашёл противоречие. Голову надурил, а не подкопаешься. Получается, неконструктивное доказательство. Верное, но неконструктивное. Класс.