Introduction to axiomatic set theory - Takeuti, Gaisi, 1926- (Graduate texts in mathematics ;, 1971)