テンプレート
>選択公理によって、任意同値類の代表の存在が言えるが、
>どんな代表を選ぶかは、各人の自由だ

工学部で大学１年の微積と線形代数落ちこぼれた
高卒素人スレ主１曰く
「選択公理によって、箱入り無数目が成立するが
選択公理を認めるか否かは、俺様の自由だ」