Teorema: Z (el conjunto de todos los enteros) y Q (el conjunto de todos los números racionales) son contables.