Operator Precedence/Boolean Logic

[Andreas Röhler]

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.
>
>
>