集合与简易逻辑知识体系的建构