印符數論

印符數論 ( 簡稱 ） ， 是一種用來描述自然數的形式公理系統 ， 由侯世達在 《 哥德爾 、 埃舍爾 、 巴赫 》 一書中提出 。 TNT是皮亞諾算術的一種實現 ， 侯世達以此來解釋哥德爾不完備定理 。 如同其他實現皮亞諾公理的系統 ， TNT是自指的 。