- 108 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 16:38:00.86 ID:sayuR5HK.net]
- >>83
>「完全代表系を作るところのみで、選択公理が使われている」と錯覚していたんだ
錯覚ではなく、事実として、（完全）代表系を作るところでのみ、選択公理が使われています
>１）R^Nから同値類の非可算無限族を構築するところと
>２）できた同値類の非可算無限族から、なんでも良いから、たった１つ代表を取り出す
>この二つの比較で、
>１）は、同値類の非可算無限族と、R^Nの全ての元を、ヒモ付けした。
>つまり、関数を構築したと
