自然数是1的定义
{p=p}={p=2x5}={p=0}
1=p/2{1,5,0}
1=p/3{1,3.333…,0}
1=p/4{0,2.5,0)
1=p/5{1,2,0}
1=p/6{0,1.666…,0}
1=p/7{1,1.428…,0}
…
1=p/11{1,20/11,0}
…
…4是借助1得到定义后的逆定义,{1/0,5/2.5,0}={0,2,0},看起来2比4还大,“经过”1/(1/2)=2,即在1/2里得到2的定义允许做为2的定义只要反映1/2≠2/1(路径记忆),4=2x2