介绍集合论的基础知识,有利于构建计算机的基础知识框架