- 340 名前：ｳ矛盾性に関して等価であることが示せること13)；
(1.10) Shoenfield の絶対性定理により，集合論での命題として表したときにそれほど複雑な形にならない数学的命題については14)，ZFC での証明が得られれば，それから選択公理を用いない証明を作りなおすことができること；
(1.11) 選択公理のオルタナティヴと考えられる決定性公理の成り立つ世界は，選択公理の成り立つ集合論の「宇宙」の内部モデルとしてとらえることができること- ウディン(H. Woodin) による（本書第II部を参照）；
そして何よりもまず，
(1.12) 選択公理の仮定のもとで展開される数学が非常に豊かなものであること，
などがその理由として挙げられるだろう15)．
（引用おわり） [] - [ここ壊れてます]
