>>454
スレ主は可算選択公理しか使わないHart氏のgame2も同じく否定している。
http://www.ma.huji.ac.il/hart/puzzle/choice.html

つまり”No more AC forever”の枠に収まるタマじゃないってこと。

"No more math forever"の方がよい。
そして数学板から出ていってもらいたい。