La respuesta es "sí" y "no", podemos extenderlo, pero tenemos que asumir un nuevo axioma para hacerlo.