Ha "vallás" alatt olyan gondolatrendszert értünk, ami bizonyíthatatlan állításokat tartalmaz, akkor Gödel megmutatta nekünk, hogy a matematika nem csak hogy vallás, ez az egyetlen vallás, ami be is tudja bizonyítani magáról, hogy az.