Схемы вывода

[maximk]

http://neerc.ifmo.ru/wiki/index.php?title=Теорема_Понтрягина-Куратовского
___________________

"Множество простых чисел бесконечно".
От противно. Если сделать акцент на слове "чисел", то противоречия не получим. Не могу найти такое утверждение, чтобы показать наглядно идею, но наверное вы уже поняли, к чему я веду. На самом деле это может быть не таким уж тривиальным философским вопросом. Быть может пока еще такого утверждения еще в видимом мире математики не появилось, что возникает такого рода проблема с доказательством от противного, но не исключено, что это вопрос со временем станет актуальным.