本章中，作者提出了数论的形式化系统TNT系统他的性质如下
数字：TNT中的数字是这样的零是0，一是S0，2是SS0，S的意思是它后面那个东西的后继
变元：即可变的数，可以用所有的字母表示
自由变元：存在这么一个串，b+S0=SS0，其中b的值是可变的，那么b就是一个自由变元（这样的公式叫开公式）。
量词：怎么把开公式变成闭公式？你需要一个量词，例如：存在一个数b，使得b加1等于2.存在就是一个量词（），还有另外一个量词“对任何数”
下面我们来翻译一些语句
“6是一个偶数”，这个好说存在一个数e使得（SS0*e）=SSSSSS0 。
“2不是一个平方数”，～b使得b的平方是SS0 。
“1729不是两个立方数的和”，存在b，c使得1729S0=b的立方加上c的立方
“没有两个立方数的和本身又是一个立方”，对于任何a，不存在b，c使得a的立方=（Sb的立方）+（Sc的立方）
“5是一个素数”，不存在b，c使得SSSSS0=SSb*SSc
“存在无穷多素数”，引申上一个句子，对于所有d存在e，不存在b和c使得d+Se=（SSb*SSC）
这些简单的脑力劳动知识我们认识复杂形式化系统的开始，本章可能分上中下或者上下两个读后感，说起来还真是有点小激动呢。
