2,931 followers 髪を切る @Alwe_Logic @mito_nya 可算じゃない列を考えているなら必要で、Rの稠密部分集合からなる可算集合族が選択関数を持つという制限された選択公理と同値らしいですね。 https://t.co/scVDggf1TR 04 Jul 2022 Reply Repost Favourite