Здравствуйте, mihailik, Вы писали:

_>>Кстати, канторовская диагональ — чрезвычайно конструктивное доказательство.
M>Конструктивное — это если бы он показал, почему действительные числа несчётны.
M>А он колупнул туда, колупнул сюда и нашёл противоречие. Голову надурил, а не подкопаешься. Получается, неконструктивное доказательство. Верное, но неконструктивное. Класс.

А как можно доказать, например, что на моем столе нет листочка с неприличной картинкой? Взять каждую бумажку, посмотреть на нее и не найти ничего неприличного, потом из частных суждений сформировать общее. Тоже неконструктивно?