Actually modal logic proved Gods existence over 40 years ago. This was proven by Gödel's ontological proofIt has now been tested and proven further with the use of a super computer by two scientists.
https://en.wikipedia.org/wiki/G%C3%B6del's_ontological_proof
http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html
English
-
Axiom 3 assumes the existence of God, by forcing any model of the logic to feature a god-like entity. The proof therefore assumes god and is vacuous.
-
The problem with that proof is that it's formal definition of God is very different than any religious God. If I can imagine a Flying Spaghetti Monster that created God therefore it must exist
-
gods dont require infinite regression. and the FSM is obviously a human construct like a golden calf or sun god, i know youre tempted to try to put everything into the same context that we live in but since we cant look into a black hole or detect anything smaller than the planck scale, reality is literally beyond our imaginations.