现在经过叶清河这么一点拨，他瞬间明白应该舍弃繁琐构造，直接提取族整体拓扑同调不变量，依托霍奇不变量守恒搭建桥梁。

        拿起笔，他在草稿纸上快速计算起来。

        “苟强，你数论直觉极强，素数筛法、解析估计、丢番图方程求解速度极快。

        但形式化、公理化证明漏洞百出。

        经常会跳过皮亚诺公理基底，省略整数公理前提，并且归纳法边界模糊，导致推导链断点随处可见。”

        叶清河的这个话，让苟强不好意思地挠了挠头。

        叶清河控制轮椅来到苟强面前。

        叶清河伸手指了指他计算中的问题。

        “你证明孪生素数间距上界命题时，直接默认自然数良序性成立，却没有引用皮亚诺第五归纳公理。

        讨论模算术解的存在性时，没有依托ZFC集合论公理确立整数环结构。

  The content is not finished, continue reading on the next page