Set-theoretical definitions of natural numbers