Gödel nemteljességi elmélete szerint minden ellentmondásmentes elméletben megfogalmazható olyan mondat, mely se nem bizonyítható, se nem cáfolható. Ő ezt ugyan a természetes számok matematikájával kapcsolatban fogalmazta meg, de érdemes és talán érvényes is kiterjeszteni gondolatait honi…