[集合論]任意の無限集合は可算無限集合を含む（のか？） .ind { margin-left: 2em; line-height: 2.0; } タイトルの『任意の無限集合は可算無限集合を含む』は選択公理の話題には必ず出てくる有名な命題である。まずダメだとされる証明をあげよう。＜証明 Ve…