ChatGPT曰く

・実数をコーシー列の同値類として定義するだけなら ZF で十分。
・しかし、その実数体系の完備性や、デデキント実数との一致、
あるいは通常の解析学を展開する段階では ACωが必要になることがある。

素人は両者を区別せず混同して間違う