[MereInterest]

A question. Wouldn't this line of reasoning still work? It is entirely a constructive proof, as opposed to the GP's proof by contradiction.

http://en.wikipedia.org/wiki/Principle_of_explosion#The_proo...