印符数论(Typographical Number Thoery,简称TNT),是一种用来描述自然数的形式公理系统,由侯世达在《哥德尔、埃舍尔、巴赫》一书中提出。TNT是皮亚诺算术的一种实现,侯世达以此来解释哥德尔不完备定理。 如同其他实现皮亚诺公理的系统,TNT是自指的。.
试AI
1 关系: TNT (消歧义)。
TNT可以指:.
查看 印符数论和TNT (消歧义)