GEB第八章印符数论翻译练习的思考

        《哥德尔_艾舍尔_巴赫：集异璧之大成》是一本很有意思的书籍，对艺术和科学以及智能内在的一些关联讲解的入木三分。

        在第八章印符数论中说完TNT形式化系统之后，在<再来几个翻译练习>一节，作者抛出了一些从数论陈述到形式化系统翻译的问题，让读者进行思考，没有给出答案，作者成功的引起了我的关注，经过思考得到自我认为合理的翻译，记录以供参考和指正。

1. 所有的自然数都等于4

2.不存在等于它自身平方的自然数

3.不同的自然数有不同的后继

4.如果1等于0，那么每个数都是奇数

下面的两个难度会较大一些，

5.b是2的某次方

另一个同义的陈述为：b质因子分解之后，质因子有且仅有2。有且仅有不太好翻译，所以这里翻译他的反面，反面是：因为一个数总是可以进行质因子分解的，质数分解为自身乘以1，所以反面就是至少有一个不是2的质因子。

即：b不能表示为不等于2的任何质数和另一个数的乘积。只能被2这个一个质因子分解。

6.b是10的某次方

另一个同义的陈述为：b质因子分解之后，质因子只有2和5，并且两者出现同样多次。由下面的公式也可以看出来。

这里的难点不太好翻译2和5出现同样多次，所以还没有找到翻译思路，后续有结果在补上，如果你有答案，烦请评论告之。