Everything is Equally Interesting

Here is an interesting piece of article I read today, makes your head go in a tizzy trying to figure out the logic. Quite nonsensical and at the same time quite wierdly interesting.

In brief, a set of theorems to prove that Everything in Life is Equally Interesting

Theorem 1:

If everything is equally boring then everything is equally interesting.

Proof:

Assume everything is equally boring but suppose that there exist an X such that X is less interesting than some Y, Y <> X. Clearly X is more boring than Y, which contradicts our assumption. QED.

Theorem 2:

Everything is interesting.*

Proof:

Suppose not. Then there are uninteresting things. Assuming the axiom of choice, the set of uninteresting things can be well ordered. Then there is a least element: a least uninteresting thing**. But this would be interesting.*** QED.

Corollary:

Nothing is boring.

Proof:

Note that if something is interesting it is not boring. QED.

Theorem 3:

Everything is equally boring.

Proof:

This follows immediately from the corollary to theorem 2. QED.

Theorem 4:

Everything is equally interesting.

Proof:

By modus ponens from theorems 1 and 3. QED.

Note : QED = quod erat demonstrandum, which literally means "which was to be demonstrated"