9 可证明的矢量、剪贴画、图标、背景和图形设计 — 可从Dreamstime的创作供稿人下载免版税版税作品。

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