ああ。定義できる集合は定義式が量化記号を持たなければ
有限集合かその補集合になると言うことですか！
複素数体でも同様だから、実数体や有理数体、あるいは
有理整数や自然数の集合の定義が出来ないと。
この理解でよろしいですか？

そうであれば、あとはその量化記号の消去が具体的に可能
であることの理解ですね。