On 23.06.2016 11:17, Steven D'Aprano wrote:
[ ... ]
We can derive arithmetic from set theory.
IMO not, resp. not really. But that would make a another item, pretty
off-topic from Python.
Should you know a place where to continue, would like to follow up.
Thanks BTW.
Zero is very special: it is defined
as the empty set:
0: {}
The successor of zero (namely, one) is the set of all empty sets:
1: {{}}
Two is the set of zero and one:
2 = {{}, {{}}}
and so forth.
--
https://mail.python.org/mailman/listinfo/python-list