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

[0342 識者 2017/12/30(土) 19:08:11.89 ID:0MEpwTLv]

>>339

述語：[x>4]の論議世界は、x>4である様な実数 x のすべてから成る集合。