>>607
>公理的確率論を具体的な箱入り無数目にどう当て嵌めていくか？
>（具体的に適用可能な）応用の問題と（抽象化された）数学の世界が ぐしゃぐしゃ
>応用の問題では、開けてしまった箱と 未開の箱は峻別されるべき

そもそも箱入り無数目は
数学は高校卒業で終わった工学部卒君が想像する
（工学的）「応用の問題」ではない
単に手品

工学的応用の問題として実用化するには
箱入り無数目で選択公理を使って同値類の代表を抜き出すところを
具体的に実行可能な関数として実現せねばならない

しかしそんなことはまあ無理だろう
だからこういえばいい
「ZFCでは確かに箱入り無数目は定理だ
でも現実の世界ではそもそも選択公理が成立しない
だから箱入り無数目が定理になるとはいえない」

こんな言い方もできないのが
数学の理屈が全然わかってない
数学的高卒の工学部卒君