>>894
> あとは、しっぽ同値類の代表を、選択公理で選ぶこと
　
　君がそれを正しく理解したなら、箱入り無数目の正しさを認めるしかない
　その都度、勝手に代表を選んでいいとか、●●なこというのは
　選択公理（というか同値類の代表）を誤解している証拠