http://dl.acm.org/citation.cfm?id=319317
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-425.pdf
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