Set theory : an introduction to large cardinals - Drake, F. R. (Studies in logic and foundations of mathematics, 1974)