аксиома (прид.) - систем (имн.)

Прво, да се справиме на брзина со една жалосна грешка што се однесува на Gödel-овата позната теорема за некомплетноста. Rychlack се повикува директно на Gödel (1991, стр.120-123), но на вообичаен начин погрешно ја разбира оваа теорема. Gödel покажува дека, во синтаксата на било кој разумно експресивен аксиоматски систем, формулата може да биде напишана како вистинита, но недокажлива во рамките на тој систем. Rychlack изведува многу посилен резултат од Gödel, дека човекот размислувач може нужно да види дека таа формула е вистинита. Gödel не кажува ништо за човечката интелигенција, и овој чекор повеќе се следи само кога некој претпоставува дека „човекот размислувач” може да види дека сите вистини се вистинити, што е премногу смела претпоставка.
„МАРГИНА бр. 3“ (1994)
Накусо, Гедел покажал дека каков и да биде разгледуваниот аксиоматски систем, за едно вистинито тврдење не мора секогаш да постои и доказ.
„МАРГИНА бр. 17-18“ (1995)
И тука заклучокот не е сигурен, ако внимателно се проучи. Gödel-овиот резултат се однесува на посебен, фиксен аксиоматски систем.
„МАРГИНА бр. 3“ (1994)