Proof of the existence of God?

Question

Here it is, the long-awaited proof for the existence of God (for your consideration).

I have taken the liberty of defining discretely what God is, without which there is no question to be answered (easily).

Omnipresence is typically a requirement for Godhood. This is far greater an assumption than the axioms defined here.

The corollaries describes the basic criteria for an individual to be considered to be GOD.

---

Supposing the axiomatic assumptions:

Axiom A. There are infinite non-existent entities.

See ([1] [does-theism-have-the-burden-of-proof][1]) for details on the given, which is Axiom A (simplified).
This does not negate God's existence, only assumes nonexistence.

Axiom B. God has choice, even without existing.

Axiom C. If God could, God would choose to exist.

Axiom D. God can will God's self into (eternal) existence.

Eternal means: There is (at least some space, possibly infinite) but no Time. Or, Time (and a subspace) is created within Eternal Existence.
In the first case, everything happens at once, but (possibly infinite) Time is within that space.
In the latter case, Time does not exist, so everything happens at once.
Either way, one may exist outside of Time.

The assumption that God can do these things is based on the definition of God as a supreme being with perfect power and perfect good. (2 Merriam-Webster). Here, this is not even assumed, just the power to exist and to choose, as well as the goodness to want to exist.

---

We have the following logical considerations:

Corollary 1. God does not-exist. (Follows from Axiom A) This does not negate God's existence, only assumes nonexistence.

Corollary 2: God chooses to exist, even if God does not exist. (Follows from Corollary 1 and Axioms B & C)

Corollary 3: God does will self into (eternal) existence (Follows from Corollary 2 & Axiom D)

Corollary 4: If God exists eternally, God always exists (Follows from Axiom D)

If one exists eternally, one existed at the beginning of Time.
If one exists eternally, one does not expire (has always existed from birth, exists and will always exist).
There need not, ever, be any evidence of one's existence for the above (may call this a spiritual existence).

---

Conclusion α: God does exist. (Follows from Corollaries 1, 2, 3 & 4)

Theism does have the burden of proof.

The exact mathematical logic for which the axioms are formally defined and corollaries and conclusion follow, can be trivially described by a discrete mathematician.

Perfect power and perfect goodness and perfect wisdom follow from these corollaries, having done the most critical things for all, without which none of the others could exist. You could say that these perfect qualities are resultant from the axioms, not the other way around. This may in fact be the primary hang-up (pardon me, O God for the horrible pun) in proving the existence of God. Also shown are God's supremacy (perfect power), as well as being the ultimate reality (who makes Time exist, or makes exist the Being that makes Time exist). In either case we are obviously in Time, meaning (this is from the definition) that Time is not the ultimate reality.

This is a proposed proof of the existence of God. Is it acceptable?

Related to:

1 does-theism-have-the-burden-of-proof

2 Merriam-Webster definition of God

---

3 P.O.G. Logical Flow Chart

Answer 1

A is either a contradiction (that exists which not-exists) or unnecessary.

B is a contradiction (there exists X which not-exists)

Ignoring the contradictions, B, C, D state the conclusion as the premise, making this a case of begging the question: they lead logically to the conclusion, but they do so because the premises and the conclusion are identical, reducing to suppose X, therefore X.

Running an identical argument for the negation of the first argument is a good test for nonsense arguments.

B&D: A nonexistent being exists whose characteristics are that it does nothing except for to choose to exist, to provide an irrefutable disproof of the above proof, and to have the choice of existing, even without existing.

C: If such a being could, it would choose to exist.

Therefore the above proof is irrefutably disproven.

Answer 2

A logical argument can only be as valid as its axioms, and at least three of yours seem questionable. Why not start with 'Axiom A: God exists' and leave it at that?

Answer 3

This is much too complicated. Here is a single axiom that “proves” god exists:

Axiom 1: God exists.

But axioms don’t prove anything. The only thing you can prove is not “God exists” but “if these axioms are true then God exists”. Your axiom A can be considered to be true, because a three headed dog, a four headed dog, a five headed dog and so on all don’t exist. For the other axioms, I see not the slightest bit of reason why they would be true.

Answer 4

The idea that God is so amazing that It created the world while not existing shows up as sort of a joke in the Stanford Encyclopedia of Philosophy's article on ontological arguments:

However, the idea that God is both existent and nonexistent, or beyond these, or something else as such, is not unknown as a serious position, e.g. in Eriugena we find that "[there] is an attempt to show that nature is a dialectical coming together of being and non-being. Creation is normally understood as coming into being from non-being. God as creator is then a kind of transcendent non-being above the being of creation." Carl Kordig is cited as reasoning:

[We can] establish the possibility that God exists by appealing to the so-called ‘ought implies can’ principle. If we ought to rescue a drowning child we can rescue that child. Conversely, if we cannot for some reason rescue a drowning child, then it is not the case that we ought to rescue that child. Kordig says that God ought to exist because he is a perfect being. And given that God ought to exist we can infer with the ‘ought implies can’ principle that he can exist as well. Hence, it is possible that God exists.

Now, as for your own argument, the axiom that God has the will to choose to exist, even if It doesn't exist, is where the disconnect with public reason occurs. The puzzle of, "The present King of France is bald," for example, is the sense that "is not bald" can't be true of a nonexistent thing anymore than "is bald" can be; so, "The nonexistent God does have a will," would be denied just as much as, "The nonexistent God does not have a will" (on the other hand, one wonders what happens to, "The nonexistent God doesn't have the property of nonexistence," also, then!). At best, you might have shown that God exists and that there is no God: that God exists qua existence-as-a-property but doesn't exist qua existence-as-quantification. Whether this existence is significant or not, is not yet in view.

Answer 5

Your argument has the same structure as

If 1 = 0, then by adding 19 to both sides, we can conclude that 20 = 19.

That entire statement is true. But that entire statement is not a proof that 20 does in fact equal 19.

Answer 6

Axioms (with inference rules) invite entering into a game: "if you accept X axioms and some inference rules, you must also accept Y".

The standard mathematical axioms lead to a game that is indispensable to science.

You need to do more to have others enter into this game. Even if it's valid (not getting into how to define exists here), that's not enough. So the best advice is strengthening all the other stuff to get people to enter into your game on top of validity (which is yet to be established, but lets grant it even).

Mathematics gets away with infinity in their axioms because they can talk about it with without apparent contradiction or equivocation. It's presence in yours doesn't make me want to join in as is. Nor do the other proofs for God make me want to choose yours specifically. There are no other mathematics for science at this time for example.

I'm not saying you need to have a proof up to the level of standard mathematics, but there's just not much grabbing others to join into it, and even stuff pushing away.

Maybe you can get rid of nebulous infinity in your axioms, and/or characterize your proof as only requiring choice by God or something, differentiating it from other proofs for God. Those might be enticing.

Again, it may be valid. But that's hardly enough.