Consideremos la afirmación "para cualquier conjunto infinito $X$ existe una cantidad ilimitada de $f:X \to \mathbb{R}$ ". Si asumimos el axioma de elección, esta afirmación es trivial de demostrar. En efecto, dada la elección sabemos que existe un $S \subset X$ que es contablemente infinito, y por lo tanto mapeamos ese conjunto a $\mathbb{N} \subset \mathbb{R}$ y mapear cada $x \in X \setminus S$ a $0$ .
¿Se puede probar esto sin elección?