JUNIPETRUS: Sice si nejsem jistý, jestli toho Gödela chápe správně, ale článek je to opravdu pěkný.
(Ať se k tomu kdyžtak vyjádří nějaký matematik, ale podle mně Gödel neříká "but if the system is made to include these truths and thus attempts to become complete, then it inevitably (and inherently) contradicts itself at crucial points -- it becomes inconsistent", ale spíš to, že i když se do systému zapojí věta, která byla pro systém donedávna nerozhodnutelná, nerozhodnutelnost se jenom odsune o krok dál a ne že by to systém začalo nějakým způsobem pozměňovat tak, že by se stal najednou inkonzistentním.)