論理と集合の目次

論理と集合の目次を更新。
背景表示の問題を除去など。