圖片發(fā)自簡書App
最大的方框代表所有TNT符號串的集亮瓷。次一級的方框代表所有良構(gòu)的TNT符號串的集缩焦，在它里面有TNT的所有語句的集〔锐茫現(xiàn)在事情開始有趣了。所有定理的集合畫成了一棵樹徽缚，樹干代表公理的集合憨奸。選樹來作象征是因為它展現(xiàn)出來的遞歸生長的模式：新的枝條不斷地從舊的里面生長出來。手指一樣的枝條探到了約束區(qū)域（真理集）的各個角落凿试，然而永遠無法完全覆蓋這個區(qū)域排宰。真理和“假理”之間的分界線有意地提示出一種曲折隨機的海岸線似芝，無論你如何仔細地察看，總是有更細微的結(jié)構(gòu)板甘，因而不可能用有窮的方式精確地加以描述党瓮。對應(yīng)的樹代表定理的否定的集：它們都是假的，但它們整個卻無法充滿假陳述的空間盐类。
