On Nov 18, 3:11 am, George Greene <gree...@email.unc.edu> wrote: > > IT's not DERIVABLE FROM THE AXIOMS! END OF STORY! > > That's NOT the end of the story! > > It is true that the name of the room is "sci.logic" and that WE
No George, it's a SIGN ON THE DOOR.
There is nothing scientific per se going on in this newsgroup.
Citing a Library of 20TH Century Logic because proofs are meant to be eternal is just 1 scientific method and with poor utility at that.
IF YOU KEEP SPOUTING "THIS IS SCI.LOGIC"
THEN STATE THE SCIENTIFIC METHODOLOGY USED HERE!
Because Proof by Assumption THEN Contradiction certainly is NEVER practiced by anyone here.