論理と集合の目次

論理と集合の目次を更新。
ナビゲーションの改善。