Abstract set theory. - Fraenkel, Abraham Adolf (Studies in logic, 1966)