集合無しではモデルは構成できんよ。公理的集合論のモデルも「集合論」の
「集合」で記述される。記述される理論内の集合とモデル構成に使う「集合」
は別物。