Atheists still waiting for proof that God exists

[struggle4progress]

5. I really can't imagine what you think you are asking for, but I suspect only silly responses

(such as the following) are possible:

(0) Let us call the following sentence "P" -- If P is true then God exists

(1) By the law of the excluded middle, P must be either true or false

(2a) Also by the law of the excluded middle, any sentence of the form "If A then B" is equivalent to "Either A is false or B is true"

(2b) P is the sentence "If P is true then God exists" so P is equivalent to "Either P is false or God exists"

(3a) Assuming that P were false would lead to the conclusion that P is true. For suppose that P were false. Then "P is false" would be true; and therefore the sentence "Either P is false or God exists" would also be true. And hence by (2b) P would be true

(3b) It follows that P is true. For P must be either true or false; and if P were true, then P would be true; moreover, we have also just seen from (3a) that if P were false, then P would be true. So whether P be true or false, we must conclude that P is true

(4a) Since P is true, it is true that "If P is true then God exists"

(4b) Since P is true, the hypothesis of "If P is true then God exists" holds

(4c) By modus ponens, it follows that "God exists"