这么多年这个问题得不到解决，或许不是他们不努力，而是他们在一定程度上就没有找到路子，一直在岔路里打转摸索。

        而他需要做的是，跳出前人的樊笼与思维，从其他角度去思考这些问题。

        那些看似离最终结果已经非常近，非常近，只差一丝就能解决问题的推演，实际很可能已离真正的答案越来越远。

        不然这个问题早就应该被解决了。

        而不是一直到现在还是只差那么一丝丝！

        触手可及有时候代表的反而是触不可及！

        把前面固有的一些东西全部推翻，全部扔到一边，叶清河决定从递归论与本质等价关系入手。

        他逐字逐句拆解证明论的底层公理，将每一条形式证明的推理脉络、每一步逻辑规约的内在逻辑刻进思维深处。

        摒弃机械的公式记忆，用思维构建完整的逻辑证明体系，在不知忘却了多少时间后，他终于摸透了逻辑不变量的核心本质。

        【This chapter is finished reading】