Sin embargo, cuando alguno de los dos conjuntos es infinito se tiene una extensión consistente de la aritmética de números naturales.