23
Construa os números naturais com conjuntos
Esta construção é uma maneira de representar os números naturais. Nesta representação, 0 é definido como o conjunto vazio e, para todos os outros números, n é a união de {0} e {n-1}. Por exemplo, para construir 3, podemos seguir o algoritmo: 3 = {ø, 2} = {ø, {ø, 1}} …