Trabajando en ZF (entonces, no hay elección): ¿es posible que haya un conjunto de reales$X$ tal que
$\vert X\vert<\mathbb{R}$, pero
$X$ genera$\mathbb{R}$ como un subgrupo debajo de la adición?
¡Esto parece extraño, pero ni siquiera puedo demostrar que no podemos generar$\mathbb{R}$ con un conjunto finito de Dedekind!