Foundations of set theory - Fraenkel Abraham A; Bar-Hillel Yehoshua (1958)
Keywords: Arithemtics