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

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

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

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

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

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

为什么？因为：

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

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

从概念的外延方面看，

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