>>604
追伸

＞597の「真」の定義というのは所詮数学的定義だから、
＞いわゆる「真」ではない。

597の定義を、無理矢理形式化してしまった
モデル理論の中で考えるならそうだろう。
しかし、数学的定義＝形式的定義
だと考えるほうが実はおかしい。