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

Charles C.Pinter - Set theory

Let $a,b,c$ be any cardinal numbers.

Give a counterexample to the rule: $$a+b = a+c \implies b=c$$

Does there exist a counterexample?

share|cite|improve this question
What is an infinite cardinal plus a finite cardinal? – David Mitra May 11 '12 at 22:54
Almost a duplicate:… – Asaf Karagila May 11 '12 at 23:01
Why was this question downvoted? – MJD May 11 '12 at 23:40
up vote 6 down vote accepted

$$\begin{align}&1.\quad\aleph_0=\aleph_0+0=\aleph_0+1\\&2.\quad 0\neq 1\end{align}$$

Where $\aleph_0$ is the cardinality of countably infinite sets, e.g. the non-negative integers, $\mathbb N$.

share|cite|improve this answer
This is certainly the very simplest counterexample. – Michael Hardy May 11 '12 at 23:59
or any infinite cardinal – Greg Martin May 12 '12 at 0:03
@Greg: Assuming the axiom of choice, yes. – Asaf Karagila May 12 '12 at 10:06
@AsafKaragila: aha, equivalently the well-ordering principle - interesting. Can one construct a counterexample if the axiom of choice isn't assumed? – Greg Martin May 12 '12 at 19:41
@Greg: Indeed. We say that A is a Dedekind-finite set if whenever $B\subsetneq A$, $|B|<|A|$. Equivalently this is to say that $|A|<|A|+1$. Every finite set is Dedekind-finite, and assuming the axiom of choice the opposite is also true: Dedekind-finite sets are finite sets. However it is consistent that without the axiom of choice there may be infinite Dedekind-finite sets. These sets may be used to construct such counterexamples. – Asaf Karagila May 12 '12 at 21:48

Here's one: $|\Bbb N| + |\{1\}| =|\Bbb N| + |\{2, 3\}| $, but $|\{1\}| \ne|\{2,3\}|$.

share|cite|improve this answer

You will probably learn later that for any infinite cardinal $a$ the equality $$a+a=a\cdot a=a$$ holds. This implies that for any infinite cardinal $a$ you have a counterexample $a+a=a+0$.

More generally, if $b$, $c$ are infinite cardinals then $$b+c=b\cdot c=\max\{b,c\}.$$

The proof of these general result is not that simple, it requires axiom of choice. See e.g. the following questions: About a paper of Zermelo and Simple cardinal arithmetic

However, showing the above result for some special cases, like $a=\aleph_0$ or $a=2^{\aleph_0}$ is not that difficult and it might be a useful exercise for someone learning basics of set theory and cardinal arithmetic.

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.