Is there a set with cardinality greater than the natural numbers but less than the real numbers?

Is there a simple proof which shows this, if the answer is no?


Yes and no. This may seem strange, so let me provide a little explanation.

There is no such thing as a proof without assumptions, so mathematicians are forced to make certain assumptions, which they take to be true without proving them, called axioms. Over the years a certain set of axioms has come into general usage among mathematicians, and most results in mathematics are proven from these axioms.

However, not every question is settled by these axioms. For your question, one cannot prove (meaning that it's been proven that no proof is possible, not just that no proof has been found yet) using the generally accepted axioms that such a set exists. However, one also cannot prove (same meaning) that no such set exists. It's kind of up to you then whether to assume the existence of such a set as a new axiom. This axiom is called the continuum hypothesis.

  • $\begingroup$ I like your answer, but you meant to say the axiom is called the "Axiom of choice"! $\endgroup$ – JavaMan Mar 25 '11 at 6:14
  • $\begingroup$ @DJC: No, the axiom of choice is an entirely separate axiom, dealing with the existence of choice functions on arbitrary sets. It is in fact one of the axioms assumed by most mathematicians. The existence of a set with cardinality between $\mathbb{N}$ and $\mathbb{R}$ is indeed referred to as "the continuum hypothesis". $\endgroup$ – Alex Becker Mar 25 '11 at 6:17
  • $\begingroup$ @Jason: Thanks, I took your suggestion. $\endgroup$ – Alex Becker Mar 25 '11 at 6:19
  • $\begingroup$ Interesting. Thanks. I stand corrected! $\endgroup$ – JavaMan Mar 25 '11 at 18:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy