Skip to main content
3 of 3
edited tags
Asaf Karagila
  • 39.7k
  • 8
  • 134
  • 282

Notions of infinity in $\mathsf{ZF}$ without choice

Consider the following statements about a given set $X$ in in $\mathsf{ZF}$:

(1) There is $x_0\in X$ such that there is a surjective map $\varphi: X\setminus\{x_0\}\to X$.

(2) There is an injective map $\iota:\mathbb{N}\to X$.

It is easy to see that (2) implies (1) in $\mathsf{ZF}$, but are they equivalent?