>>715
モデル理論をわかってないことがわかった