A homework question asks the following:

"Let $X$ be a countable, not finite set. Show that there is a bijection $\phi :\mathbb{N}\to X$."

I was under the impression that this is the definition of what it means for a set to be countable and not finite (i.e. "countably infinite"). Then is this a trivial proof, or is it not the true definition and instead the result of a more subtle axiom?

There is a similar question here, but it involves constructing a bijection from $X$ to $\mathbb{N}$ rather than from $\mathbb{N}$ to $X$.

  • 3
    $\begingroup$ What is the definition of countable? And what is the definition of finite? $\endgroup$ Sep 6, 2019 at 3:16
  • 5
    $\begingroup$ You're absolutely right OP. Unless you have a different definition to work with, that is the usual definition of countably infinite. $\endgroup$ Sep 6, 2019 at 3:21
  • 6
    $\begingroup$ Context matters. Presumably you are expected to know the definition of countable which lies behind that particular homework problem. My guess will be that this is not exactly the definition, in that context. $\endgroup$
    – Lee Mosher
    Sep 6, 2019 at 3:23
  • 4
    $\begingroup$ When in doubt, look it up ... and I mean in your textbook or course notes, not on some random site on the Internet. Not even here. $\endgroup$
    – David K
    Sep 6, 2019 at 3:26
  • 1
    $\begingroup$ At the risk of this comment section becoming too long, I should point out that a set $A$ is sometimes defined to be countable if there exists an enumeration (possibly finite) $a_1, a_2, a_3, \ldots$ of the elements of $A$. The exercise would then be to show that the existence of an infinite enumeration is nothing but the existence of such a bijection. $\endgroup$ Sep 6, 2019 at 3:45


You must log in to answer this question.