變更

'''一，费马大定理是怎么证明的''' 1，费马大定理主项是一个集合概念

xⁿ+yⁿ=zⁿ 。。.(1 ，费马大定理主项是一个集合概念)

xⁿ+yⁿ=zⁿ 。。.(1) 对于n>2的自然数，费马说没有整数解，由于n=3， 4， 5， 。.以致无穷，当然属于集合概念，应该从n=3，4， 5，.....逐一证明，欧拉和高斯证明了n=3时的情形，费马、贝西、莱布尼茨证明了n=4时情形，勒让德、狄利克雷证明了n=5，拉梅证明了n=7，.....。

'''二，转换命题'''

请注意他的证明方法，他证明的是假如存在一个反例，注意，反例只有一个就够了，格哈德.弗赖（下图是弗赖）

将方程（1）转换成为一个普遍概念的椭圆曲线方程：如果费马大定理是错误的，那么，至少有一个解，Aⁿ+Bⁿ=Cⁿ，经过一系列演算程序，使得这个假设解（反例）的费马方程变成

y²=x³+(Aⁿ-Bⁿ)x²+AⁿBⁿ 。。。.(2)

他指出这里实际上是一个椭圆方程：

y²=x³+ax²+bx+c 。。。(3)

注意，(3)式是一个普遍概念。所有的椭圆方程都具有这个性质。

椭圆曲线是域上亏格为1的光滑射影曲线，它的(仿射)方程，通常称为维尔斯特拉斯方程，可以写成（3）式。

'''三，国际数学界错误的逻辑推理'''

看看那些所谓的数学家们是怎样推导的（费马大定理—一个困惑了世间智者358年的谜）作者：英国人西蒙.辛格。

A，费马大定理有反例则弗赖椭圆曲线方程成立。

B，弗赖椭圆方程不能模形式化（肯.黎贝1985年证明了弗赖椭圆方程不能模形式化)。

C，谷山志村猜想断言每一个椭圆方程都可以模形式化。

D，因此得出结论：弗赖方程不能成立（即原先假设的反例不能成立）

E，所以费马大定理成立。

'''四，上面的推理是错误的'''

因为，三段论：

大前提：（谷山——志村断言）每一个椭圆方程必然可以模形式化。

小前提：弗赖椭圆方程不能模形式化。(肯.黎贝证明了这个问题)

结论：（只能得出）

1)所以弗赖方程不是椭圆方程；

2)谷山志村猜想不能成立。

就是说，互相矛盾的两个前提，即大前提和小前提只能有一个正确，另外一个是错误的。不可能两个都是正确的。

肯.黎贝 定理（弗赖椭圆方程不能模形式化）与谷山志村猜想（每一个椭圆方程都可以模形式化）只能有一个是正确的，一个是错误的。

'''五，费马大定理与谷山志村猜想的关系'''

弗赖方程如果可以模形式化，谷山志村猜想与费马大定理是交叉关系；

弗赖方程不能模形式化，谷山志村猜想与费马大定理是反对关系。

就是说，弗赖方程无论是否可以模形式化，都推不出费马大定理是否成立.。

为什么？因为：

概念间交叉关系，是一种对称关系，是一种非传递关系，谷山志村猜想对与错都不能传递到费马大定理的对与错；

概念间的反对关系是一种对称关系，是一种非传递关系，谷山志村猜想对与错都不能传递到费马大定理的对与错。

概念的逻辑关系，是中国（大陆）政府历年的公务员考试内容。

'''六，国际数学界证明费马大定理违反了三段论公理'''   根据，三段论公理：

凡是对一类事物性质有所肯定 根据 ， 则对该类事物中的每一个分子的性质也应该有所肯定； 三段论公理：

凡是对一类事物性质有所 否 肯 定，则对该类事物中的每一个分子的性质也应该有所 否 肯 定 。 ；

从概念 凡是对一类事物性质有所否定，则对该类事物中 的 外延方面看， 每一个分子的性质也应该有所否定。

S类包含于M类，M类包含于p类，所以，S类包含于P类；

S类包含于M类，M类与P类全异，所以，S类与P类全异。

三段论公理的客观基础就是类与类的包含关系和全异关系，是人类亿万次重复实践中总结出来的不证自明的性质。

肯黎贝，安德鲁怀尔斯得知自己的证明是错误的，表情十分忧郁（下） 作者王晓明在费马的家乡 ：[[File:034214y9m0w93zx19y9uy1.jpg|缩略图]]