Inter-universal geometry と ABC予想 (応援スレ) 79

>>320
T:理論（非論理的公理の集合）、φ,ψ:論理式、M:構造 とする。
定義 M|=φ ⇔ Mはφを充足する
定義 M|=T ⇔ ∀ψ(ψ∈T⇒M|=ψ) ⇔ MはTのモデル
定義 T|=φ ⇔ ∀M(M|=T⇒M|=φ) ⇔ φはTの恒真式