En la construcción -teorético-conjuntista de los números naturales, el número 1 es definido como el conjunto unitario { 0 }.