The key fact is that these axiomatizations are not expressive enough to define the set of natural numbers or develop basic properties of the natural numbers.

• 不过,我们没有任何根据可以把人类根据自身演化路径的特殊规律强加到一般生命的演化历史上来看。