forcing使ってるだけじゃモデル理論でも何でもないだろ
モデル理論の本読んだことあって言ってるのかね