Se ha probado que basta un axioma adicional para poder generar todos los números reales.