で,選択公理とはなんぞとググって見ると,こちらの解説がわかりやすかったです.http://samidare.halfmoon.jp/mathematics/AxiomOfChoice/index.html
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **