>>15
>”(ZFCではなく)ZF上で実数は定義不可能と言いたいのですか？”
>の答えは、『可算選択公理：”実数論においては選択公理ではなく可算選択公理で事足りる場合が多い』というようなことで
>その実、可算選択公理 ACωや、従属選択公理 DC を、導入していることが殆ど ；ｐ）
問いへの回答になってない
YES/NOで答えよ