>>4
>>15

「命題Pに対して、Pをみたす集合」とは何ですか?