免费试用 哥德尔不完备定理的线条画。一个封闭的六边形包含一个形式系统:两个公理通过证明箭头推导出定理。一个陈述位于墙外,携带了一个系统的微缩模型,因为它在讨论自身的证明性。. 哥德尔不完备定理可视化 – 可证明的六边形,外部包含一个真实但不可证明的陈述. 哥德尔不完备定理的线条画。一个封闭的六边形包含一个形式系统:两个公理通过证明箭头推导出定理。一个陈述位于墙外,携带了一个系统的微缩模型,因为它在讨论自身的证明性。