今天看数理逻辑,好玩。

[forulong]

今天看数理逻辑，看到证明狭义谓词演算公理系统的完备性证明，发现一个挺好玩
的构造：0=<0,0,0>
1=<0,0,1> 2=<0,1,0> 3=<1,0,0>
4=<0,0,2> 5=<0,1,1> 6=<0,2,0> 7=<1,0,1> 8=<1,1,0> 9=<2,0,0>
10=<...
在用三元向量即用<a,b,c> 表示情况下，n=<?,?,?>
在h元向量表示的情况下，n又该如何表示呢？
不过这与定理证明没关系，呵呵。

[fallstone]

咦，这可以表示出来么？

[forulong]

可以的吧，用含n 的式子表示各分量，应该可以的吧？

[wavecheng]

不用看了，反正又不考！