¿Qué ocurre con los conjuntos que son naturalmente "mayores que" N? Por ejemplo, el conjunto de los enteros, Z, o el conjunto de los números racionales, Q, que, intuitivamente puede parecer mucho más grande que N.