类型论的根基，是直觉主义逻辑。
海霆真人已经将离宗的“逻辑”吸收了，重写了算术公理，完了连宗的逻辑。
类型论的目标，是“突破哥德尔不完备定理”，思路是“切断我指涉”。
算主提了绕“哥德尔不完备定理”的思路，包括了“切断我指涉”。
冯落衣了证明“无穷公理”的安全，沿着条思路走了。
说，万俱备了。
，算君就贡献了……包含类型论结果的就。
就是兽机关集群的混沌拓扑网络算法。
算君并有单独提“类型论”，因他确实争争的基础算理不感兴趣。
但是，他确实是才，凭借己的思考，就完了一严苛的系统。
就像coq语言给你写一完整的操系统，运行很顺畅，甚至界面很优一，匪夷所思，令人惊叹。
王崎甚至怀疑，算君一套做法，并非牺牲“图灵完备”，是……算君压根就在意什“图灵完备”。
兽机关集群相安全。类型论的理论，它就是绝的“强规范强类型”，不输入任何“预料外”的结果。一旦有丁点错误，提示语法错误，直接就直接停机给你。
在宏观，则兼容冯落衣一系的就。
就算宏观……（内容加载失败！）
(ò﹏ò)
抱歉，章节内容不支持该浏览器显示～
【为了使用完整的阅读功能】
请考虑使用〔Chrome 谷歌浏览器〕、〔Safari 苹果浏览器〕或者〔Edge 微软浏览器〕等原生浏览器阅读！
谢谢!!!