"[Gödel] a valós számokat számelméleti formulákkal reprezentálta, és úgy találta, hogy az analízis helyettesítési axiómájának igazolásához fel kell használnia a számelméleti mondatok igazságának fogalmát. Hamarosan az igazsággal és definiálhatósággal összefüggő paradoxonokba ütközött (különösen a Hazug és a Richards paradoxonba). Felismerte, hogy terve kivitelezhetetlen, mivel a számelméleti igazság nem definiálható a számelméletben."

https://epa.oszk.hu/00100/00186/00005/996_simonyi.html#39