Axiomatic Set Theory pocketEngelsk, 1972