>>484
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/

ご苦労様です
ちょっと出かけていました
さあ　続けようか

有名な ケネス・キューネンの海賊版を覗いてみた
下記 1)2)と4)を見たが、本件の記述はあまりなかった
（ 3)は、期待できそうになかったので、海賊版検索はしなかった）
　記
ja.wikipedia.org/wiki/%E3%82%B1%E3%83%8D%E3%82%B9%E3%83%BB%E3%82%AD%E3%83%A5%E3%83%BC%E3%83%8D%E3%83%B3
ケネス・キューネン
主な著作
1)Set Theory. College Publications, 2011. ISBN 978-1848900509.
2)The Foundations of Mathematics. College Publications, 2009. ISBN 978-1904987147.
　翻訳『キューネン数学基礎論講義』藤田博司 訳 日本評論社 2016年 ISBN 978-4-535-78748-3
3)Set Theory: An Introduction to Independence Proofs. North-Holland, 1980. ISBN 0-444-85401-0.
　翻訳『集合論―独立性証明への案内』藤田博司 訳 日本評論社 2008年 ISBN 4535783829
4)(co-edited with Jerry E. Vaughan). Handbook of Set-Theoretic Topology. North-Holland, 1984. ISBN 0-444-86580-2.
(引用終り)

さて、”超限帰納法”実数の集合論の基礎の基礎渕野昌(Sakae Fuchino) 2003年 が参考になる
fuchino.ddo.jp/notes/set-th-of-reals-kiso-no-kiso.pdf
2超限帰納法，順序数，基数11
P14
整列順序集合上では，命題を帰納的に証明したり，関数を帰納的に定義したりすることができる．
定理24〜25 （帰納法） 略す
(引用終り)

で、おサル>>7-10は >>473の Thomas Jech
”That we can do by induction, using a choicc fimction f for the family S of all nonempty subsets of A.”
を強く読んだわけだね

つづく