Исправление Legioner, 20.05.13 22:28 (текущая версия) :
Если доказательство теоремы не формализуется логикой, это не теорема, а проповедь.
Исходная версия Legioner, 20.05.13 22:28:
Есть доказательство теоремы не формализуется логикой, это не теорема, а проповедь.