3 ms·
> the natural 0 is the empty set.
by dahfizz 8y ago
> the natural 0 is the empty set.
- zazen 8y agoThat is a definition of "natural 0", not a definition of "empty set". GP was pointing out that GGP was using the concept of "empty set" to provide a definition for the natural numbers, without having first provided a definition for the empty set. Replies that consist solely of throwing a quote at someone are kind of rude even if you're in the right.
- dahfizz 8y agoI don't see why GGP should have to reinvent set theory to use it in his construction of numbers. Set theory and the idea of {} is well defined, and hardly "built on sand".
- zazen 8y agoHe doesn't necessarily have to. But when he defines "natural zero" as "the empty set", and someone asks "what's the empty set?", and you say "natural zero", you're being circular.