"If axiomatic set theory is consistent, there exist theorems that can neither be proved or disproved."

Kurt Godel - First theorem of undecidability

ck -at- antifork dot org - public key
FE9A BE09 E578 4779 E188 A2A3 6818 5B81 A875 E78A