>>95
まず>>56 ≠ >>88 なんだけど、自分の主張は
「閉論理式の集まりは，ZFCで集合として取り扱えるものではない」
が一番近いと思う。>>85もそういう気持ちで書いている。
だけど、逆（モデルになっている）の捉え方をされていたかも。（>>86とか>>88とか）