Stanislav Maslovski -> debian-russian@lists.debian.org @ Sun, 8 Jul 2012 17:23:46 +0400: SM> Ты явно хочешь свернуть с доказательства правильности *решения* задачи на SM> доказательство правильности *постановки* задачи. Это отдельная SM> проблема, которая формальными методами не решается *в принципе*. В принципе - решается. В теории следующего уровня :-)