>>354 つづき

過去＜ステップ２＞まで進んだが、その概要を振り返っておこう

＜ステップ１＞「現代確率論は、ベースとしてZFC下にある」
１）ZFCベースとして、下記フォン・ノイマン宇宙を考えて貰えば良い
（過去スレ36 http://rio2016.2ch.net/test/read.cgi/math/1501561433/562 ）
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
(抜粋)
フォン・ノイマン宇宙
数学の集合論とその周辺分野において、フォン・ノイマン宇宙 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ベースの宇宙に住んでいるのだよ。
（参考）
https://en.wikipedia.org/wiki/Solovay_model
Solovay model
(抜粋)
Construction[edit]
Solovay constructed his model in two steps, starting with a model M of ZFC containing an inaccessible cardinal κ.
(引用終り)

つづく