"Minden ellentmondásmentes, a természetes számok elméletét tartalmazó, formális-axiomatikus elméletben megfogalmazható olyan állítás, mely se nem bizonyítható, se nem cáfolható."

 

 

"Isten egyértelműen kívül fekszik a tudomány hatókörén. Nem lehet sem bizonyítani, sem cáfolni."