Self Reference

任何自洽的形式系统，只要蕴涵皮亚诺算术公理，就可以在其中构造在体系中不能被证明的真命题，因此通过推理演绎不能得到所有真命题（即体系是不完备的）。

用字母表示变量符号，对应的哥德尔数为大于 12 的素数，例如 x，y，z 的哥德尔数为 13，17，19，以此类推。