13/08/17 NY:AN:NY.AN
URLﾘﾝｸ(dl.acm.org)
URLﾘﾝｸ(www.cl.cam.ac.uk)
The Russell set R might be written as the comprehension {x: not x∈x}, but ZF allows
only comprehension over some previously constructed set S
13/08/17 NY:AN:NY.AN
URLﾘﾝｸ(dl.acm.org)
URLﾘﾝｸ(www.cl.cam.ac.uk)
The Russell set R might be written as the comprehension {x: not x∈x}, but ZF allows
only comprehension over some previously constructed set S