Recently I watched this YouTube video called "Mathematical Proof Of No God" where this guy used Set Theory to prove that God doesn't exist. Being intrigued by that, I set out and successfully proved the same exact thing, using the same exact assumptions he used but with one differece: I used Boolean Logic and he used Set Theory. So here's my proof:
Recently I watched this YouTube video called "Mathematical Proof Of No God" where this guy used Set Theory to prove that God doesn't exist. Being intrigued by that, I set out and successfully proved the same exact thing, using the same exact assumptions he used but with one differece: I used Boolean Logic and he used Set Theory. So here's my proof:
Proof of the Non-Existance of God
Assumptions:
1) Set: "something which contains elements." Denoted as: "{ }"
2) God: "omnipotent being, who has the power to do anything and there is nothing he /she cannot to." Denoted as: "God".
3) Fact: "there is no universal set that isn't contained in another set, including itself. Denoted as: "U".
4) Consequence: "God is a universal set of powers."
IF: "x" is the set which contains all elements of powers, AND God has the power to do anything and there is nothing it couldn't do, THEN: God is the universal quantifier of all "x":
{x,x1,x2,x3,...xn} Λ God → God{∀x}
But - Considering a well known law of set theory - IF: God is the universal quantifier of all x, THEN: God MUST be contained in another set:
God{∀x} → U ( God{∀x})
PROOF:
Using the method of "proof by contradiction", suppose "God is the universal quantifier of all x, AND is NOT contained inside another set, THEN:
God{∀x} Λ ~U ( God{∀x}) → FALSE
To go even further, If we negate both sides, we end up with a De Morgan equivalency:
