24/03/04 12:30:07.78 p/poHKx1.net
選択公理を認めるなら尻尾同値類の完全代表系が存在することになり、任意の実数列は自然数の決定番号を持つことになり、必然的に箱入り無数目の戦略は成立することになる
よって箱入り無数目成立を否定したいなら選択公理を認めないようにする以外に無い
ZFでは不成立だああああああ とでも叫んでればよろしいｗ
24/03/04 12:30:07.78 p/poHKx1.net
選択公理を認めるなら尻尾同値類の完全代表系が存在することになり、任意の実数列は自然数の決定番号を持つことになり、必然的に箱入り無数目の戦略は成立することになる
よって箱入り無数目成立を否定したいなら選択公理を認めないようにする以外に無い
ZFでは不成立だああああああ とでも叫んでればよろしいｗ