镜 子 里 的 哥 德 尔 数

每个字先换成一个数，再拿第 n 个素数的那个数当指数——连乘起来就是它的哥德尔数。
这样一句话也能变成一条算术命题，于是它能谈自己。
系统只要自洽、又装得下算术，就总有一句真话它证不出来。