互素理论与费马方程

安德鲁·怀尔斯证费马最后定理用的是代数几何理论，是间接的方法。本书以互素理论为工具，以二项式定理为平台，先分两种情况，再化成三个模型，使费马最后定理在皮亚诺公理系统内得到证明。本书的方法直通命题，推理只涉及有理整数，或者说一直在皮亚诺公理系统内进行。这样的方法也正是人们的期待。