>>88 >>89
「無限集合から適当な元を一つ選ぶ」
「残りからもう一つ選ぶ」
「そのまた残りからもう一つ選ぶ」
…以下略…
という操作で可算無限部分集合が作れそうだが、
「無限集合から適当な元を一つ選ぶ」ことができるためには選択公理が要りそうに思う。
他のアプローチもある？