# MATHS PROVES GOD EXISTS

### Dr. Gödel’s God equation proves God really exists. Mathematical God equations as follows: “Ax. 1. {P(φ)∧◻∀x[φ(x)→ψ(x)]} →P(ψ)Ax. 2.P(¬φ)↔¬P(φ)Th. 1.P(φ)→◊∃x[φ(x)]Df. 1.G(x)⟺∀φ[P(φ)→φ(x)]Ax. 3.P(G)Th. 2.◊∃xG(x)Df. 2.φ ess x⟺φ(x)∧∀ψ{ψ(x)→◻∀y[φ(y)→ψ(y)]}Ax. 4.P(φ)→◻P(φ)Th. 3.G(x)→G ess xDf. 3.E(x)⟺∀φ[φ ess x→◻∃yφ(y)]Ax. 5.P(E)Th. 4.◻∃xG(x)” This mathematical theory proved God exists as a higher power. Two computer scientists say they proved the HOLY Supreme God’s existence is confirmed by equations. In 1978, mathematician Kurt Gödel died and left behind the long complex theory based on modal logic. Dr Gödel’s mathematical model though equations are extremely complicated, but the essence is that no GREATER POWER THAN GOD ceated the world so believe God EXISTS in reality.

Scientists claim to have proof of God

Mathmatician Kurt Gödel Math equation

Dr Gödel’s equations: “Ax. 1. {P(φ)∧◻∀x[φ(x)→ψ(x)]} →P(ψ)Ax. 2.P(¬φ)↔¬P(φ)Th. 1.P(φ)→◊∃x[φ(x)]Df. 1.G(x)⟺∀φ[P(φ)→φ(x)]Ax. 3.P(G)Th. 2.◊∃xG(x)Df. 2.φ essx⟺φ (x)∧∀ψ{ψ(x)→◻∀y[φ(y)→ψ(y)]}Ax. 4.P(φ)→◻P(φ)Th. 3.G(x)→G ess xDf. 3.E(x)⟺∀φ[φ ess x→◻∃yφ(y)]Ax. 5.P(E)Th. 4.◻∃xG(x).

Is God real?: Two computer scientists used computers to run the complicated numbers which they say confirms that the equation does indeed add up. The point of researchers’ originally is they were not directly trying to prove the existence of God, but rather to showcase the power of computers. In the process concluded God is behind creation of the Universe. The big bang theory of black holes, Boson Higgs theory probability do not change the world it predicts exists from only atoms evolving into life on its own. Life existence as a whole has the Maker and CREATOR using precision and order that no human being can replicate. So confirms God is behind all creation of the Universe and mankind. Christoph Benzmüller of Berlin’s Free University, who ran the calculations along with Bruno Woltzenlogel Paleo of Technical University in Vienna, told Spiegel Online “It’s totally amazing from this argument led by Gödel, all this stuff can be proven automatically in a few seconds or even less on a standard notebook.“I did not know it would create such a huge public interest but [Gödel’s ontological proof] was definitely a better example than something inaccessible in mathematics or artificial intelligence. It is a very small crisp thing, because we are just dealing with six axioms in a little theorem.There may be other things using similar logic.