If we adopt a background ontology of full powersets as primitive (as in Zermelo's 1930 quasi-categor...