23/07/25 14:30:43.75 0LQXkxv6.net
>>669
(引用開始)
>∃dx∃dy が、命題であろうがなかろうが、本質とは無関係
わろたｗ
>”dx >= dy”という評価式が使える場合の確率0
dx,dyは決定番号ですよね？
決定番号が自然数であることは認めましたよね？
「自然数の大小関係の評価式が使えない場合」とはどういう場合ですか？
自然数の集合が全順序であることはご存じですか？
「自然数の大小関係の評価式が使える場合の確率0」は何故ですか？
>∃dx∃dyの存在確率が0
意味不明 どういう意味ですか？
>それは、当りくじの代表が引けないってことの帰結です >>661の通り
当たりくじの代表が引けない？？？
「箱入り無数目成立には良い代表系が必要」と言いたいのですか？不要ですけど
(引用終り)
１）<主役は代表列、決定番号はその影> >>661
ということ。これに尽きる
代表列を向き合わずに、その影たる決定番号しか見ない
それが、ハマリです（時枝さんも多分同じ）
２）p進数類似を使った数入れ>>651-652で
代表列は、一つの同値類で非可算無限の集合を成し
決定番号が有限kなる代表の数は、有限個しかない
そういうことが分かる
３）よって、この場合（p進数類似を使った数入れ）
決定番号が有限になる確率は0が導かれる>>652