カテゴリー: モデル理論

|| 文の意味から真偽を決める感じ

ここでは、主に『意味』について扱っていきます。

数学における『意味論 Semantics』と考えて良いです。