Es gibt zumindest einen schönen Beweis: "Die Prädikatenlogik ist nicht entscheidbar." (am Ende von Alan Turing bewiesen). Das heißt, dass das menschliche Instrumentarium schlicht und einfach begrenzt ist.
Ob es einen Gott gibt oder nicht istr dabei völlig unwichtig, da es immer einen Sack voll Dinge geben wird, die wir uns nicht erklären können werden. Götter gehören eben dazu.
Ich für mich bin strenggläubiger Atheist.