Sonic86 писал(а):
Интересно, посылки и вывод истинны, почему же доказательство несостоятельно?
Потому что часть отрицает целое.
Это неверно, поскольку вывод в общепринятом смысле как раз верен.
Мне представляется только один вариант, похожий на правду: ТС имеет конечное число правил вывода, причем пользоваться ими можно всего один раз и вводить новые правила вывода нельзя. Если с 1-го раза не получается, значит "невыводимо". (если это так, то это, конечно, печально)
(если что, дискутировать не буду, мне просто интересно, что ТС скажет. Вдруг я узнаю какой-то, неизвестный мне, кусок логики

)