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

[0307 １３２人目の素数さん 2017/12/30(土) 15:30:45.90 ID:0MEpwTLv]

>>305
＞議論世界の定義を教えてください

述語Ｐ(x)の*論議世界*とは、xに代入したときに「意味を持つ（真偽が言える）」
すべての元から成る集合。