完备性

缘起：

p = “此命题是不可证明的”

于是又有：

p=“sys中没有任何命题”

 

计算：

0 -> 1

1 -> 0

0 = 1

 

p不等于p

p = “p不等于p”

 

p等于p

p = “p等于p”

 

结论：

p = p = p = ...

0 = 1 = 2 = ...