ゴメン！　まちごうた。ｗ

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