数学逻辑

数学的另一基本思想是符合逻辑。所谓逻辑有下面三点：
　　1、用已知的结论证明新的结论。
　　2、用已知的概念定义新的概念。
　　3、证明的方法要被大家认可。
　　根据这三点，产生一个问题，就是怎样产生第一个结论和第一个概念？
　 　数学家认为，第一个结论应该是公理，就是要被大家认同。同样，第一个概念叫做初始名词，也要被大家认同。以后的结论，叫做定理，要能被已知的结论所证明。以后的概念，要能被已知的概念所定义。
　 　但是这种理想状态无法做到，所能做到的是把一组结论作为公理，把一组概念叫做初始概念。这样才能证明我们所需要的数学结论和定义所需要的数学概念。数学家把公理和初始概念一起叫做公理系统。
　　公理系统要求独立性和完备性，也就是必要性和充分性。
　　对独立性的解释是系统中任何一条公理不能被其他公理所证明，系统中任何一个概念不能被其他概念所定义。对完备性的解释是公理系统能证明我们所需要的全部结论。
　　数学史最先出现的是欧几里德几何公理系统，随后出现的是皮阿诺整数公理系统；希尔伯特几 何公理系统；策墨罗、弗兰克尔和斯科论的集合论公理系统(ZFC)，这些公理系统都不能在自己的系统内证明自己的独立性和完备性，只能承认欧几里德几何公 理系统是完备的，才能 证明希尔伯特几何公理系统是完备的 ；承认皮阿诺整数公理系统是完备的，来证明集合论公理系统是完备 的。 而独立性要在承认我们的函数理论是对的，才能证明现有的公理系统是独立的。
　　歌德尔证明了任何公理系统的独立性和完备性是矛盾的，但是他的证明方法只有数学家才能看懂。也就是说他的证明方法只被数学家所认可。事实上，证明方法不在公理系统范围内。
　　我主张证明方法也要包含在公理系统范围内，即证明方法要用大家都认可的语言写出来，被大家认可。我把必须的证明方法叫做初始规则。
　　正因为我把证明方法包含在公理系统范围内，所以我的公理系统不可能包含歌德尔定理。除非，你默认一种证明方法是对的，再承认集合论公理系统是对的，然后证明这公理系统是对的。总之公理系统本身不能证明自己，否则就犯了逻辑错误。
　　事实上，我们基本上可以相信集合论公理系统是对的，我们基本上可以相信我的证明方法论是对的。因为，我们的数学理论基本符合实际。我的证明方法论只不过把以前的证明方法，用严格的数学语言表述出来。
　　数学必须符合逻辑，数学必须精确，数学不允许自相矛盾。