一階述語理論としてのZFCは
「不定元のような論理式」（＝特定されていない、「とある論理式Φ」のようなもの）
を扱うことができる
って言ってる数学者がいるんですけどそうなんですか？
ってゆうかどういう意味ですか？