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