Mini wiki
印符数论
编辑
印符数论,是一种用来描述
自然数
的形式
公理系统
,由侯世达在《
哥德尔、埃舍尔、巴赫
》一书中提出。TNT是
皮亚诺算术
的一种实现,侯世达以此来解释
哥德尔不完备定理
。
1