用什么来证明Fermat大定理？Grothendieck与数论的逻辑  

作　　者：Colin McLarty 李福安(译) 吴刘臻(校) 

机构地区：[1]美国Case Western Reserve大学的哲学系和数学系 [2]不详

出　　处：《数学译林》2013年第3期214-228,共15页MATHEMATICS

摘　　要：本文探究现已发表的Fermat（费马）大定理证明中所使用到的集合论假设，这些假设怎样出现在Wiles（怀尔斯）使用的方法中，以及目前所知道的使用更弱假设的证明的前景．

关 键 词：FERMAT大定理 定理证明 逻辑 数论 Wiles 集合论 费马 

分 类 号：O156.7[理学—数学]