>>・カントール流のコーシー列による実数構成には、AC_ω つまり Axiom of countable choiceが必要で
>ソースは？

おサル、ソース出せず
そりゃそうやろ　独善妄想にソースなんて無いからな