Der gödelsche Gottesbeweis fußt, wie alles in der Mathematik, auf nicht beweisbaren Grundannahmen, den sogenannten Axiomen. Wenn man Axiome entsprechend wählt, lässt sich aus ihnen letztlich alles folgern.