Axiomatic set theory. - Bernays Paul; Fraenkel Abraham A (1968)