Conversation

you might say that they're an implementation of peano numerals, where successor is taken to be this funny function x union {x}. "peano numerals" doesn't really refer to a unique thing, depending on how you think about things
1
3
Show replies
Replying to
This was my exact justification for choosing 0. And considering the entire purpose and thrust of set theory was describing and justifying a solid foundation for mathematics, it seems to me the clear choice!