>>164
モデルの集合は完全性定理では使いませんね