数理逻辑集合论图论抽象代数

第一部分 数理逻辑
数理逻辑是用数学方法研究推理中前提和结论之间形式关系学科。
推理是由一个或几个判断推出一个新判断思维形式。
数学方法是指建立一套表意符号体系，对详细事物进行抽象形式研究方法。