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