>>806
>Sergiu Hart氏のgame2 では、選択公理を使わない。

それスレ主の自爆

有理数の小数展開列等の場合には、
代表元の取得に選択公理は必要ない

つまりこの場合、スレ主は完全に負けたことになるｗ

>「固定」と「変数は箱に入れられない」という素人迷走

前者は単に「変数ではなく定数」の意味
後者は正しくは
「時枝記事では箱の中身は変数ではない」
の意味
（箱の中身を変数として扱うことはできるが
　時枝記事の設定ではそうなっていない）