最近重写了自己的blog，这个blog至少换代了有4个版本了。如你所见，这是一篇文章，但这不是一篇文章。
这是一种自我指涉，就像“这句话是假的”那样。如果这句话是真的，那么这句话是假的。如果这句话是假的，那么【这句话是假的】是假的，就是【这句话是真的】。不难发现会发生冲突。
很明显，无论p是什么命题，这个命题总是不成立。更著名的还有$\mathrm{sub}(n,n,17)$，描述的是“我不可证”，可见此视频。
因此，有些命题在部分体系内不可证明。例如，你无法在皮亚诺公理体系下，证明Goodstein数列函数的终止和Bashicu Matrix System的终止性。 以及在ZFC集合论下你无法证明$2^{\aleph_0}=\aleph_1$，与不可达基数存在。
这里引用一条在一个视频下的评论：“连续统假设不能被证明为真也不能被证明为假，什么意思？独立于ZFC公理体系之外。这不是什么世纪难题，而是告诉我们，不管是真是假，把它捏成一个新公理放进ZFC体系里都是自洽的。”
算了等我写完这篇文章我就不写了
$\mathcal {ABCDEFGHIJKLMNOPQRSTUVWXYZ}$