Se define -según Halmos- entonces que el conjunto vacío es un número natural que se denota por y que cada número natural tiene un "sucesor" denotado como .