uniqueness

[DarkCloud]

Let G = {g : g is a god} denote the set of all gods.

Proposition: Suppose G is not the empty set. If g1 and g2 are in G, then g1 = g2.

How to prove it?

 

[Kristin364]

I'm not sure how to prove the existence of God using set theory. Maybe it could go something like this?

Assume that g1 != g2. This is impossible because God clearly states in the Bible that there are NO other gods...so we have a contradiction and the original statement must be true.

Again, I don't know how to prove this logically because in order for the proof to hold, you'd need to believe that the Bible is the true word of God.

So maybe we need to devise a way to logically prove that the Bible is error-free. Hrmm....