而这第一步，也不是那么容易的。

需要补全强对偶定理的适用边界，夯实形式证明空间几何的公理基础。

需要进行全域推广，覆盖复杂场景，确定适配方案，消除盲区，搭建体系，定义概念，明确规则，构建框架等等。

做完这些，还有第二步不变量与分类体系攻坚，第三步机械化形式证明框架攻坚，第四步疑难几何命题专项形式化攻坚，第五步自洽性与独立性底层攻坚等等。

每一步都不是那么容易的。

好在这个公理是叶清河自己证出来的，别人做这个事情可能很难，但对他来说驾轻就熟。

_c