Matematikai és fizikai lapok 1943. január-december I-II. [antikvár]

Részlet: Egyszerű példa eldönthetetlen aritmetikai problémára. Gödel adta az első példát olyan aritmetikai problémára, amely az aritmetika (és logika) eszközeivel megfogalmazható, de - amennyiben a kérdéses eszközök nem vezethetnek ellentmondásra - el nem dönthető. Gödel meggondolásából világos, hogy ez nem az aritmetika és logika módszerei (megszüntethető) hiányosságának következménye, hanem bármely axiómarendszerhez, hacsak bizonyos nagyon tág feltételeknek eleget tesz, szerkeszthető hasonló, a kérdéses axiómarendszerben kifejezhető, de le nem dönthető aritmetikai probléma.