>>55 補足
>Virtually all results in the branches of mathematics based on set theory hold even in the absence of regularity; see chapter 3 of Kunen (1980).
>However, regularity makes some properties of ordinals easier to prove; and it not only allows induction to be done on well-ordered sets
>Kunen, Kenneth (1980), Set Theory: An Introduction to Independence Proofs, Elsevier, ISBN 978-0-444-86839-8

検索すると、海賊版かもしらんが、下記PDFヒット
これ、しばしばお世話になっている藤田 博司先生の和訳があるかな？
http://blacaman.tripod.com/cursos/pdf/2012-2_0941.pdf
An Introduction to Independence Proofs K KUNEN 著 First edition: 1980 Seventh impression: 1999

https://www.amazon.co.jp/dp/4535783829/ref=pd_lpo_sbs_14_t_1?_encoding=UTF8&;psc=1&refRID=8NKTZE2Q63MR3BRQEWQX
集合論―独立性証明への案内 単行本 ? 2008/1/1
(抜粋)
ケネス キューネン (著), Kenneth Kunen (原著), 藤田 博司 (翻訳)
ナラバ博士
5つ星のうち5.0
第２章の章末問題はとくに面白い
2009年4月5日
形式: 単行本
集合論のうち，とくに２０世紀第３四半期における強制法（フォーシング）の研究に焦点をあてた入門書である。
数学科（数理科学コース）の１・２年向けの集合論の授業では，数学全分野のための予備知識として１９世紀後半の集合論を扱うのがふつうであろう。
本書が扱うのはより高度な話題である。原書は研究分野としての集合論への入門書として評価が高い。
評者は大学院修士課程１年生のときに原書を通読した。
強制法への伏線として第２章でマーティンの公理を扱っており，この章の章末問題には面白いものが多いと感じた。
時間をかけて翻訳した本書の訳は大変読みやすく，ところどころに親切な訳注が添えられている。