Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Gödel's Incompleteness Theorem states that in any non-contradictory non-trivial axiomatic system there are certain statements or theorems whom cannot be proved in that system,

For example in ZFC, assuming it is non-contradictory, there is the famed Continuum Hypothesis and Whitehead's problem. My question is, is there any such system (but different from ZFC) in which Gödel's Incompleteness Theorem itself is an unprovable statement?

share|cite|improve this question
Are you sure that the Riemann Hypothesis is unprovable in ZFC (if ZFC is consistent)? You should write that up for publication -- you'll be famous! – Henning Makholm Aug 19 '12 at 14:51
This is not really about set theory as much as it is about logic and incompleteness. I retagged it appropriately. (And it's not very soft either) – Asaf Karagila Aug 19 '12 at 14:52
@HenningMakholm Ah yes you're right. Then it means that I probably read about another famous theorem that was proved unprovable within ZFC. And Asaf, yes, you're right, thanks, and I originally tagged it as soft as I did not expect a proof or anything very concrete, given the question asked. – andreas.vitikan Aug 19 '12 at 14:59
@andreas.vitikan: The most famous statements that are proved independent of ZFC are the Continuum Hypothesis and the Generalized Continuum Hypothesis. Since those have "hypothesis" in their names, they might be what you're thinking about. – Henning Makholm Aug 19 '12 at 15:01
@Henning Ah yes, that was it, thanks for spotting it! – andreas.vitikan Aug 19 '12 at 15:03
up vote 6 down vote accepted

Robinson arithmetic is non-trivial enough that the incompleteness theorem applies to it, but as far as I know not strong enough to prove the incompleteness theorem itself.

share|cite|improve this answer

Just a footnote to Henning Makholm's answer. You indeed need to look at very weak systems for examples of the phenomenon you want. For a start, as soon as you add a little bit of induction to Robinson Arithmetic (officially, induction for $\Sigma_1$ wffs) you get a theory that, for any recursively axiomatized $T$ which includes a bit of arithmetic and any sensible system of Gödel-coding, can show that $Con_T \to \neg Prov_T(\overline{\ulcorner G_T\urcorner)}$, i.e. it can prove the formalized version of (half of) Gödel's incompleteness theorem for $T$. (It was rather important to Gödel that the incompleteness theorem is elementary in this sort of way.)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.