Sé que, asumiendo axioma de elección, cada conjunto es bien ordenable. Sé también que la afirmación de que $\mathbb{R}$ no es bien ordenable es consistente con ZF. ¿Cómo puedo encontrar otros juegos que, en la ZF, no puedo demostrar sus pedidos bien? Por ejemplo, que los elementos de jerarquía de Von Neumann
$V_0 = \emptyset \\ V_{\alpha+1}=P(V_{\alpha}) \\ V_\lambda = \cup_{\alpha<\lambda} V_\alpha $
¿(excepto $V_n$ $n$ ordinal finito y $V_\omega$) puede ser bien ordenado?