Set-theoretic_definition_of_natural_numbers