>>96
56 = 87 と書くつもりが間違えました．ごめんなさい．

＞「閉論理式の集まりは，ZFCで集合として取り扱えるものではない」
＞が一番近いと思う。>>85もそういう気持ちで書いている。

近い，とは・・・？