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.wikiped

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_proof-theoretic_argument http://en.wikipedia.org/wiki/Principle_of_explosion#The_proo...