信息技术 项目 重点介绍彼得·史密斯（Peter Smith）的“哥德尔没有（太多）眼泪”中定义和定理之间的依存关系（请参阅 ） 更具体地说，我现在（对我自己）通过在定理的陈述和定义之间以及定义之间添加链接来解释戈德尔不完整定理的证明。 最后，我还要强调彼得史密斯（Peter Smith）文档中定理之间的依赖关系。 配置 使用HTML，CSS和Javascr ipt 部署中 在浏览器中打开git-it.html