LINUX.ORG.RU

История изменений

Исправление Sadler, (текущая версия) :

По Геделю, она неполна, если внутренне непротеворечива.

Я так и сказал.

Покажите мне ортогональную с логикой систему и класс задач, которые она решает. Дальше будем думать.

Исходная версия Sadler, :

По Геделю, она неполна, если внутренне непротеворечива.

Я так и сказал.