>>700
>一階述語理論のZFCで「不定元のような論理式」を扱っている
は誰も言ってない
一階述語理論のZFCで「不定元のような論理式」を扱える
は>>686が言った そして正しい これが誤解という奴はZFCのなんたるかを知らない数学初心者