17/08/18 20:49:36.28 CKEpTpuk.net
>>743
ピエロくん、どうも。スレ主です。
あのな、＜ステップ４＞で、有限長さの数列で、TE理論が不成立って認めたらね＊）
それ、自動的に＜ステップ５＞で、同じことになるんよ。そういう証明のストーリーになってるんよ
つまり、私Aは、有限長の数列しか、サイコロを使って、箱に数を入れないからね
あとのしっぽは、第三者Cが、勝手な実数を入れるんだわ
だから、＜ステップ４＞を認めたら、自動的に＜ステップ５＞で、同じことになるんよ。
そういう証明のストーリーになってるんよ
注＊）
（正確に言えば、有限長で同じように同値類からの数当てをしても、標準確率論の値の通りだと＜ステップ４＞に書いといたよ）