だから集合論も構成しないでどうやってモデル理論展開するんや?
アホですか?
現代数学の構成はまず基礎論で言語、推論則を定めて、集合論を定義、そこから必要に応じて種々の概念を構成していく。
モデル理論とはその過程の正当性を考察する理論でそれは集合論を構成したあと、その上に基礎論、集合論を構成していった道程がどうであったかを確認する理論
全く理解できてない
何も知らんのやったら黙っとけゴミ