Доказательство может быть, а может не быть. В данном случае его нет, т.к. нет строгого логического вывода.
Что считать доказательством -- вопрос не тривиальный.
1.3. Доказательство
Несмотря на то что термин "доказательство" является, возможно, одним из важнейших в математике (Бурбаки начинают свою книгу "Основания математики" словами: "Со времени древних греков сказать "математика" значило то же, что сказать "доказательство""), он не имеет своей точной дефиниции. В целом, понятие доказательства со всеми его смысловыми ответвлениями относится, скорей, к области психологии, нежели к математике. Но как бы то ни было, доказательство - это просто аргумент, который мы сами находим вполне убедительным для того, чтобы убедить всех остальных.
Мне интересно,
srm, что вы подразумеваете под
"строгим логическим выводом" в контексте этой темы? Из чего выводить?
Если не сможете дать строгого формального ответа на вышепоставленные вопросы, то предлагаю:
1) согласиться с тем, что до формализации предметной области, говорить о "строгом логическом выводе" -- преждевременно;
2) в этой теме в качестве "доказательства" рассматривать:
"просто аргумент, который мы сами находим вполне убедительным для того, чтобы убедить всех остальных."