再重新表述哥德尔二定理

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

哥德尔第一定理：任何一个相容的数学形式化理论中，只要它强到足以蕴涵皮亚诺算术公理，就找不到一种非自然约束条件能确保非此即彼的二分性的发生概率：零概率就是最大发生概率，总有发生概率大于零的作为冯向军泛有序对的命题S被构造出来：

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

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

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

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

 哥德尔定理的关键和要害是：公开承认，包含初等数论的形式体系想要违反自然规律，彻底铲除发生概率大于零的事件：作为冯向军泛有序对（A，非A）的各种对发生概率等于零的非此即彼的二分性的违背，是不可能的。