>３）モデルとは？ ”モデル理論は形式的な厳密さをあまり重視せず、その精神は古典数学に近いことが多い”という。宇宙に意味が近いかも
いやそんなふわっとしたものじゃなく厳密に定義されてるに決まってるだろ。
T:理論（非論理的公理の集合）、A:論理式、M:構造 とする。
定義 M|=A ⇔ MはAを充足する
定義 MはTのモデル ⇔ M|=T ⇔ (B∈T⇒M|=B)