三元组（N，e，v）满足戴德金-皮亚诺公设，对于任意的n∈N，给定一个集合Xn和一个映射Fn，使得Fn是Xn到Xv(n）的映射的集合的子集。设Se是Xn的子集，证明有唯一一个集合组Tn，n∈N，具备Te=Se以及Tv(n)=Fn（Tn）的性质，对于所有的n∈N...