[morgan]

Thanks for the post Bruce. I was really only concerned with the distinction of "P is neither true nor false" and "P cannot be proven to be true nor false"; and that your claim after stating Russel's Paradox seemed to imply the paradox was the proof of the inconsistency of all axiomatic systems. Being precise in these cases would not have led to a significantly longer (or less comprehensible) post. Also, I only brought up the irrationality of the root of 2 as an example why life is much better when you assume any proposition is either true or false, in case anyone wanted to doubt it. It has nothing to do with Godel. Take care,

Morgan