>ところでL(R)はZFCじゃなくてZFの最小モデルですね。
こいつもうダメだ…