That's not what Goedel showed, and his theorem has no relevance to law or political or legal philosophy or practice. What he showed was that arithmetic is incomplete, i.e., that in any formal system powerful enough to express arithmetic, there is at least one true proposition not provable within that system. jks
_________________________________________________________________ Join the worlds largest e-mail service with MSN Hotmail. http://www.hotmail.com