番图方程求解速度极快。
但形式化、公理化证明漏洞百出。
经常会跳过皮亚诺公理基底，省略整数公理前提，并且归纳法边界模糊，导致推导链断点随处可见。”
叶清河的这个话，让苟强不好意思地挠了挠头。
叶清河控制轮椅来到苟强面前。
叶清河伸手指了指他计算中的问题。
“你证明孪生素数间距上界命题时，直接默认自然数良序性成立，却没有引用皮亚诺第五归纳公理。
讨论模算术解的存在性时，没有依托ZFC集合论公理确立整数环结构。
你这属于典型的直觉跳跃证明。
……”
说着叶清河让周婉儿帮他调出赛事高频原题，严格公理化证明无穷素数存在性。
然后一步一步指导他从ZFC外延公理到无穷公理、皮亚诺自然数公理、整数环公理、同余公理，逐层搭建闭环推导，每一步都标注对应公理依据。
这个问题之前也有老师跟他提过，但是并没有像叶清河这样简单直接地让他意识到所有高阶结论都扎根底层公理体系。
几次模拟，他屡次失分，根本不是算不对，而是逻辑根基不成立。
“孙婷，你熟练掌握三维流形同调、纽结琼斯多项式、基础同伦群计算，可面对赛事未公开前沿简化猜想却完全无从下手，只会套用经典定理归纳，没有独立创新框架。
这在比赛当中是完全拿不到赛事创新加分的。”
指导完苟强，叶清河没有停下，扭头对在一旁已被叶清河指导陈程、苟强的厉害震惊的孙婷道。