数理論理学（数学基礎論） その12

[0883 １３２人目の素数さん 2018/06/13(水) 23:54:29.29 ID:qVgQuylU]

>>881
数理論理学において、意味とは、命題記号、述語記号、定数記号、関数記号に具体的な命題、述語、対象、写像をマッピングすることを言います