>>668
>∃dx∃dy が、命題であろうがなかろうが、本質とは無関係
わろたｗ

>”dx >= dy”という評価式が使える場合の確率0
dx,dyは決定番号ですよね？
決定番号が自然数であることは認めましたよね？
「自然数の大小関係の評価式が使えない場合」とはどういう場合ですか？
自然数の集合が全順序であることはご存じですか？
「自然数の大小関係の評価式が使える場合の確率0」は何故ですか？

>∃dx∃dyの存在確率が0
意味不明　どういう意味ですか？

>それは、当りくじの代表が引けないってことの帰結です >>661の通り
当たりくじの代表が引けない？？？
「箱入り無数目成立には良い代表系が必要」と言いたいのですか？不要ですけど

ゴマカさずに答えてください。