哥德尔不完备定理的冯向军泛有序对之表达

美国归侨冯向军，2017年7月11日，写于美丽家乡

 哥德尔第一定理：任何一个相容的数学形式化理论中，只要它强到足以蕴涵皮亚诺算术公理，施加于其中的任何约束条件(如不断增加的公理等）就都约束不住作为冯向军泛有序对的命题S被构造出来：

命题S = 冯向军泛有序对（A，非A）

命题S = 冯向军泛有序对（非a，非非a）

命题S = (不能被证真，不能被证伪）        (1-1）

 哥德尔第二定理：任何相容的形式体系，或消除了一切已知的以冯向军泛有序对（A，非A）的形式存在的不相容性的形式体系，都不能用于证明它本身的相容性：本身不再存在任何以冯向军泛有序对（A，非A）的形式存在的不相容性。

 我为作为冯向军泛有序对（A，非A）的哥德尔不完备性不相容性的不可避免性而欢喜。这绝对是好事啊！人类理性的约束始终毕竟不能束缚住大自然最偏爱的具有最大发生概率的冯向军泛有序对（A，非A）在人类主观概念世界不以人的意识为转移的存在！这哪里是什么不完备不相容啊。不完备不相容的是脱离实际的人类理性的那部分根本是非标准。可喜的是人类理性在不断完善根本是非标准。