A Counter Example of Fermat Last Theorem Wang Shiqiang (School of Mathematics,Beijing Normal University,100875 Beijing) Abstract: In this paper we prove by Model-Theoretic method that there exist a Counter Example of Fermat Last Theorem Keywords: Fermat Last Theorem,Model Theory. Firstly we see: 16+16=16 in the Residue Class Ring I/(16) of the Integer Ring I modulo 16 and 2 is nonzero in I/(16);81+81=81 in I/(81)and 3 is nonzero in I/(81); 256+256=256 in I/(256)and 4 is nonzero in I/(256);................. Now we will prove: Theorem.There exist a Counter Example to Fermat Last Theorem. Proof.We write the above modules 16,81,256,...............by n1,n2,n3,... ............ We will denote Peano Axioms by PA briefly and rewrite the following axiom:“(for all n)[n+1?0] ”into:“{0+1?0, 1+1?0, 2+1?0, ......,n+1?0, ...........} (n runs over all natural numbers) ”. We use FE(n) to denote the Fermat Equation in Fermat Last Theorem for index n. Now consider the following infinite set of sentences:U={PA;(exist n)[(n>2 in PA) and (FE(n) has nontrivial solutions in PA) and (n=0)]---(Q)}. For any finite subset V of U,it is easily seen that there is some Residue Class Ring I/(nk) of the Integer Ring I modulo nk which satisfy V; Hence by the Compactness Theorem of Model Theory we know that U itself has a model M. Let us look at M: As M satisfies (Q),we see that FE(n) has nontrivial solutions in M.But M satisfies PA, so we see that FE(n) has nontrivial solutions in PA.
Fermat 大定理的一个反例。?王世强(北京师范大学数学学院,100875 北京)摘要。本文用模型论方法证明:存在Fermat大定理的反例。关鍵词。Fermat大定理,模型论。作者简介:王世强(1927-).1948年毕业于北京师范大学数学系后留系工作,1981年被评为博士导师.已发表论文百余篇.已出版:<模型论基础>(科学出版社, 1987),<王世强文集>(北