Set-theoretic definition of natural numbers (source code)

= Set-theoretic definition of natural numbers
{wiki=Set-theoretic_definition_of_natural_numbers}