构造

把合并转化为数，用1+1=2代表合并，这个构造需要假设由合并生成了1和2（即假设鸡生了蛋），又需要假设合并用自己生成的1和2代表自己的存在（如同蛋孵化成鸡代表鸡的存在）

这个构造可以分解为二个互相满足的构造，一个构成工具，如1和2，一个构成使用，如1+1=2，创造一个工具，再用创造的工具描述创造本身

通常这属于矛盾

合并转化为数这个构造可以起一个名字，比如除法，除法本身是一个构造，这样表达就不会那么难理解

如果合并本身是用来生成数的，并且这个合并恰好叫做除，最初生成的数就恰好被自己除，如果需要有其次（其次也是构造，叫序），其次就不能恰好被自己除，因为若非如此就不能区别于最初，而如果不能恰好被自己除，就必须恰好被之前（其次之外）的除，如果还需要另外的其次，就既不能恰好被自己除又不能恰好不被自己除，这样就需要改变除的定义，让它既是合并也不是合并，它就可以既是除又不是除，由于除就是数，数就可以既是数又不是数，是数称为质数，不是数称为合数

素，单纯

质，唯一