「集合から論理へ」の項目を目次に追加

下記項目を集合論目次に追加。

• 集合の内包
• ∈を表す述語・命題関数
• 《∈の否定》を表す述語・命題関数