Aye, Godel's theorem is tres cool. It's worth considering the possibilities afforded by admitting the existence of contradiction. Naturally, classical logic has to be thrown out the window in this case (because a contradiction implies all wff's and so the logic breaks down), but this is why you...