A “Proof” that Lemons are Sweet per Gödel

Aside from underlining the place where Gödel injected his clearly non-axiomatic and non-empirical assertion, I post this non-trivial counter theorem based on Gödel’s proof of the existence of God without further comment except: Remember, ethics are based on attempting to generalizing your maxims, and as it happens, some Lemons are sweet.  But you get the idea. PS: This says more about logic and Gödel than it does about God


Axiom 1. A property is sweet if and only if its negation is sour.

Axiom 2. A property is sweet if necessarily it contains of an sweet property.

Theorem 1.  A sweet property is logically consistent (i.e., possible it has some instance.)

Definition. Something is Lemon-like if and only if it possesses all sweet properties.

Axiom 3. Being Lemon-like is a sweet property.

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

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

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

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

Axiom 5. Being NE is Lemon-like

Theorem 3. Necessarily, there is some x such that x is Lemon-like.

James Lyons-Weiler

Allison Park, PA 15101

August, 2018




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