0
Natural construction
code-golf number set-theory math
The natural numbers including 0 are formally defined as sets in the following way:
Number 0 is defined as the empty set, {}
For n ≥ 0, number n+1 is defined as n ∪ {n}.
As a result, n = {0, 1, ..., n-1}.
The first numbers, defined by t...