5
$\begingroup$

$\aleph_0$ is the least infinite cardinal number in ZFC. However, without AC, not every set is well-ordered.

So is it consistent that a set is infinite but not $\ge \aleph_0$? In other words, is it possible that exist an infinite set $A$ with hartog number $h(A)=\aleph_0$?

  • 1
    It is certainly consistent that a set $S$ exists that is not finite, but such that no injetion $f:\mathbb{N}\to S$ exists.2012-11-29

1 Answers 1

3

Yes. It is consistent to have such sets. These sets are called Dedekind-finite sets.

Do note that $\aleph_0$ is the only minimal infinite cardinal, even if it not the minimum.

  • 0
    Yes, exactly $A$ is Dedekind-infinite iff $\aleph_0 \le |A|$.2012-11-29