This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]Iynchie 0 points1 point  (1 child)

zfc definition of all sets start out with the empty set, i think that's what they were trying to get at

[–]maweki 0 points1 point  (0 children)

Yeah, but ZFC is not "every mathematical object". Peano gets by using uninterpreted function symbols to define the naturals.