"A Gödel tételben szereplő 'nem eldönthető állítás' egyszerűen azért nem dönthető el, mert eleve úgy lett megfogalmazva, hogy önmagának ellentmondjon. Abban pedig semmi csodálnivaló nincs, hogy egy önmagának ellentmondó, azaz logikai hibát tartalmazó állítás nem eldönthető. A Gödel tétel az ilyen 'patologiás állításokról' bizonyítja, hogy eldönthetetlenek - de ezt formalizálás nélkül is tudjuk." forrás  (Geier János ELTE Pszichológiai Intézet, mellesleg alapból matematikus)  Bővebb verzió itt: Gondolat 2004