Is independence an exception?

摘要

Gödel's incompleteness theorem asserts that any sufficiently rich, sound, and recursively axiomatizable theory is incomplete. We show that, in a quite general topological sense, incompleteness is a rather common phenomenon: With respect to any reasonable topology the set of true and unprovable statements of such a theory is dense and in many cases even corare.