数学证明中的逻辑

摘要	第3-5页
Abstract	第5页
第一章 问题	第8-11页
第二章 整数的公理系统	第11-24页
第一节 整数的代数公理	第12-17页
第二节 整数的序公理	第17-24页
第三章 一个矢列演算系统	第24-35页
第一节 矢列演算系统概述	第24-26页
第二节 结构规则	第26-27页
第三节 联结词规则	第27-30页
第四节 量词规则和等号规则	第30-35页
第四章 形式证明	第35-40页
第五章 总结	第40-42页
参考文献	第42-44页
致谢	第44页