印符数论（，简称），是一种用来描述自然数的形式公理系统，由侯世达在《哥德尔、埃舍尔、巴赫》一书中提出。TNT是皮亚诺算术的一种实现，侯世达以此来解释哥德尔不完备定理。如同其他实现皮亚诺公理的系统，TNT是自指的。
数字.TNT并没有对每一自然数指定不同的符号，而是使用一种统一的方式来表示所有自然数。其中符号S可理解为“后继”之意。
变元.为了表示不定项，TNT中使用了五个变元，分别为：通过添加撇号可以构造出更多的变元，如：另外一种“简朴的”版本的T