没有人举手。

        这并不奇怪。

        奇怪的是——

        他露出了一个近乎释然的表情。

        「因为我也做不到。」他说。

        他切换到下一张投影片。

        那不是补充证明。

        而是一整页红sE标注。

        「我尝试了七种等价定义注意架构、五种引理重构方式、三套不同公理基础。」

        「全部失败。」

        会场开始安静下来。

        「但这个结论，仍然在所有数值模拟与实际应用中成立。」

        他抬起头，看向众人。

        内容未完，下一页继续阅读