2013年3月4日
完备性
缘起：p= “此命题是不可证明的”于是又有：p=“sys中没有任何命题”计算：0 -> 11 -> 00 = 1p不等于pp = “p不等于p”p等于pp = “p等于p”结论：p = p = p = ...0 = 1 = 2 = ... Read More
posted @ 2013-03-04 21:47 渐近的旅者 Views(185) Comments(0) Diggs(0) Edit