>>630
＞普通数学では「真」の定義は存在しないし、
＞形式体系にも存在しない。
＞としたら、「真」を定義する場面って
＞モデル理論しかないよな

その突っ込みは的外れ。
そもそも、形式体系が、いいたかったこと以外の意味も持ちえる
と示したのがモデル理論なのだから、これを形式マンセーの人が
持ち出すのは自爆である。