Gödel’s Proof: God’s Existence

Math Online Tom Circle

Kurt Gödel‘s Mathematical Proof of God’s Existence

Axiom 1: (Dichotomy) A property is positive if and only if its negation is negative.

Axiom 2: (Closure) A property is positive if it necessarily contains a positive property.

Theorem 1. A positive is logically consistent (i.e., possibly it has some instance).

Definition. Something is God-like if and only if it possesses all positive properties.

Axiom 3. Being God-like is a positive property.

Axiom 4. Being a positive property is (logical, hence) necessary.

Definition. A Property P is the essence of x if and and only if x has P and is necessarily minimal.

Theorem 2. If x is God-like, then being God-like is the essence of x.

Definition. NE(x): x necessarily exists if it has an essential property.

Axiom 5. Being NE is God-like.

Theorem 3. Necessarily there is…

View original post 23 more words


About tomcircle

Math amateur
This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.