Probably pedantic, butI think there's an important part of Godel's Theorem that you're omitting jake... What Godel (I need an umlaut, anyone?) actually says is that within a given branch of mathmatics, one can find apparent truths that cannot, diffinitevly, be proven when relying on the axioms and rules of the system. However, those apparent truths can may be proven by providing a new set of rules and axioms. Godel does clearly state, though, that this only introduces new problems since the original field of axioms and rules have now been enlarged and, in all probablility, now includes more true statements than it can possibly prove according to its own new defining set of rules...