第2097章 型论【第三更】

类型论的根基，是直觉主义逻辑。

海霆真人已经将离宗的“逻辑”吸收了过来，重写了算术公理，完成了连宗的逻辑。

类型论的目标，是“突破哥德尔不完备定理”，思路是“切断自我指涉”。

算主提...