我们正在努力恢复Google Play商店上的Unionpedia应用程序
传出传入
🌟我们简化了设计以优化导航!
Instagram Facebook X LinkedIn

印符数论

指数 印符数论

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

目录

  1. 1 关系: TNT (消歧义)

TNT (消歧义)

TNT可以指:.

查看 印符数论和TNT (消歧义)