印符数论 印符数论英語Typographical Number Thoery简称TNT是一种用来描述自然数的形式公理系统由侯世达在哥德尔埃舍尔巴赫一书中提出TNT是皮亚诺算术的一种实现侯世达以此来解释哥德尔不完备定理 如同其他实现皮亚诺公理的系统TNT是自指的