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

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

Правильно. Но доказательство Кантора как раз первого вида. Мы хотим доказать, что не существует биекции между натуральными числами и [0;1). Для этого берем каждую функцию из первого во второе, внимательно смотрим на нее и говорим "ага, а вот этого-то числа здесь и не хватает! значит, не биекция". Как еще конструктивнее доказать, что чего-то не существует?