简介：

1，陈省身6页纸证明高斯博内公式是在假设下完成，是一种预期理由的错误。预期理由暗含了假定存在的非逻辑前提，数学证明不得使用非逻辑前提。这是因为陈省身对逻辑学的无知。

2，这个公式的结论不能作为定理，因为它的主项是一个特称判断，即有些A是B。数学定理必须是全称判断即：一切A是B。

详见论文下面：基于公式（24）,我们将在是闭的-可定向黎曼流形的假设下，给出公式（9）的证明。（即高斯博内公式）。

就是说，将黎曼流形分为四种情况：

1，闭的-可定向的；

2，非闭的-不可定向的；(高斯-博内公式的核心依赖于斯托克斯定理和奇点指标理论。在非闭、不可定向的黎曼流形上，原始高斯-博内公式不直接成立，但可通过拓扑转化或边界修正扩展其形式。具体推广需依赖流形的几何和拓扑性质。)

3，闭的-不可定向的（公式有效吗？）。

4，非闭的-可定向的（公式有效吗？）。

高斯博内定理的主项（闭的-可定向的）只是一个特称判断，没有包含所有的黎曼流形。即”有些A是B“。

高斯博内公式必须区别上面3和4以后才能成为定理。

因为：

1，定理必须是全称判断，全称判断的主项是普遍概念或者单独概念，高斯博内定理主项A没有包括其它3种情况，就不是普遍概念；

2，那么就可以争取是单独概念，如果让A即”闭的-可定向的“成为单独概念，就必须排除其它3种，即排除“非闭的-不可定向”“闭的-不可定向的”“非闭的-可定向的”。

我们用黑色表示“闭的”；黄色表示“非闭的”；红色表示“可定向”，绿色表示“不可定向”。

图--就是说，1不能与3和4有重叠（相同颜色）。才能是单独概念，A不算特称判断，A可以算一个类。与总体是一个种属关系(即黎曼流形是种，闭的-可定向的黎曼流形是属)。就是说，高斯博内公式必须排除2，3，4这三种情况。

高斯-博内公式的核心依赖于斯托克斯定理和奇点指标理论。在非闭、不可定向的黎曼流形上，原始高斯-博内公式不直接成立，但可通过拓扑转化或边界修正扩展其形式。具体推广需依赖流形的几何和拓扑性质。

非要让一个定理从头到脚讲清楚？如果我们假设1+1=2，...，推导出4+5=9，就不能算是证明，这是预期理由的错误！

必须有一个皮亚若公理在前面，我们可以推出4+5=9.。

所以，陈省身的证明无效！

人永远需要理由

解释永远需要解释来解释。数学家用公理把数学推理的无穷退后阻断，防止无休止的循环论证。公理让数学有了合法性。

这里有一个充足理由律：a真，因为b真并且b能够推出a。b是a成立的充足理由。就是一个正确思想赖以成立的正确根据。充足理由必须有真实性和相关性。

假设下的证明，就失去了充足理由。

命题是什么

命题蕴含了概念和概念的关系，它是词项和连接词组成的事物。表征了外部世间事件的对象，以及对象之间的关系、于是就有了知识，概念是数学的核心。

只要符合某些规则，就可以从一个命题推出另外一个命题，从一个断言推出另外一个断言，我们把这个过程叫做推理。

我们又把那个大规模的推理，那个更加系统的推理叫做论证。

于是，我们的语言和知识的范畴不断扩大，结下了一张命题的网络——断言之网。我们通过断言之网理解我们的世界。

逻辑的合法性来自于形式的合理性，而形式的合理性来自于实践的有效性。溯因达到严格的推理-论证才能叫做定理。

在这里必须是没有任何模糊性

论证中的一切推理应该井井有条，一切细节环环相扣。结论的正确性建立在前提的正确性和真实性基础上。陈省身的证明没有正确的前提，他的前提是一个没有证明的假设，支撑证明的有效性，是前提的有效。当你的前提无效时，结论就不是可靠的。就不能算是定理。