現在２０２３年１２月１４日２２時０１分である。（この投稿は、ほぼ１３０２文字）
同値という分かり難いことばについて、今日、まとまった、現在での結論を、述べておく。
であるから、 と
と、
とは、全く同じものである。従って、意味の分かり易い、
に統一する。そして、モデル
という記号を（なぜモデルと言うかは、述語論理学を学ぶとき分かる）、
はトートロジー（要素命題に、どんな真偽を与えても、常に真になる）
と、定義し、
と、 の論理学での意味を定める。
こう定めると、『解析入門Ⅰ』の附録２ 論理記号 での は、私達の
だと、分かる。
これにより、『解析入門Ⅰ』が、同値と定めた、 と、論理を外から眺めた結果を表す
（私達の
）との違いが、やっと分かってくるものと思う。
私に取って、２００６年１月頃からの課題だった。１７年越しにクリアできて嬉しい。
現在２０２３年１２月１４日２２時２９分である。おしまい。
