17/08/14 22:50:23.38 yKZ7rRZ6.net
>>354 つづき
過去<ステップ2>まで進んだが、その概要を振り返っておこう
<ステップ1>「現代確率論は、ベースとしてZFC下にある」
1)ZFCベースとして、下記フォン・ノイマン宇宙を考えて貰えば良い
(過去スレ36 スレリンク(math板:562番) )
URLリンク(ja.wikipedia.org)
(抜粋)
フォン・ノイマン宇宙
数学の集合論とその周辺分野において、フォン・ノイマン宇宙 Vとは、遺伝的整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。
(引用終り)
注)>>17 “Solovey Modelの宇宙では、選択公理は成立しない”とか大外しを言っているマヌケがいるが、下記 Solovay model “Solovay constructed his model in two steps, starting with a model M of ZFC containing an inaccessible cardinal κ.”とあるから、Solovay先生たちも本当はZFCベースの宇宙に住んでいるのだよ。
(参考)
URLリンク(en.wikipedia.org)
Solovay model
(抜粋)
Construction[edit]
Solovay constructed his model in two steps, starting with a model M of ZFC containing an inaccessible cardinal κ.
(引用終り)
つづく