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

[0292 １３２人目の素数さん 2017/12/30(土) 06:51:13.32 ID:0MEpwTLv]

>>277
＞議論世界=議論領域=対象領域etcはモデル毎に我々が設定し得るものですから

論議世界は人が恣意的に設定できるものではありません。