Utilizando AC se puede demostrar que hay $2^{\mathfrak{c}}$ automorfismos del campo $\mathbb{C}$ . Ciertamente, sólo el mapa de identidad es $\mathbb{C}$ -lineal ( $\mathbb{C}$ -homogéneo) entre ellos, pero ¿son todos estos automorfismos $\mathbb{R}$ -¿lineal?