雑談（おサル）くんは根本的に間違っている
「選択公理を仮定すれば箱入り無数目が成立する」
を否定したいなら
「選択公理を仮定しても箱入り無数目は成立しない」
を示さなければならない
選択公理は要らないとかまったくトンチンカン
さすがサル頭