Abstract set theory - Fraenkel Abraham A (1953)
Keywords: Arithmetic