>>701
ZFCの中で「ZFCの論理式のコード」は扱える
ただしコードは論理式そのものではない
したがって一階述語理論のZFCで「不定元のような論理式」を扱える
というのは正しくない
論理式とそのコードを同一視するのは数学初心者