>>284
>𝖹𝖥𝖢集合論においては選択公理が成り立つので
そりゃそうやろ Cは選択公理なんやから