>>750
自分で実際に手を動かして無矛盾性証明書いたことなくて、
どこかの解説書に「出来る」と書いてあるのを読んだことしかない奴等に言っても無駄だよ。
「初学者が混乱しやすい」どころか専門家でもしょっちゅう混乱してるしね。
どうも「モデルが存在すれば無矛盾」とか条件反射的に覚えているっぽいんだけど、
自然数論みたいに弱いメタセオリーだと「どういうモデルか」が問題なんだけどね。
（ZFCがメタセオリーの場合も、クラスサイズのモデルは相対無矛盾性にしか役立たない、のと同じ。）