FILIT
Obsah
Chronológia
Registre
Diskusia
Správa
Anotácie

Gödel, k.: šber formal unentscheidbare sätze ... (1931) l827

Gödel, K.: šber formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte fr Mathematik und Physik 38 (1931), 173- 198. L827

Dôkaz neprotirečivosti nejakého jazyka musíme formulovať v nejakom inom jazyku, ktorý je spolu so svojou logikou bohatší na výrazy a tým aj obsahujúci viac možností uzatvárania ako jazyk, ktorý skúmame a jeho logika.