- 首先哥德尔构建了一个形式系统PM,在这个系统中加法和乘法和自然数都有具体的符号表示。
- 其次采用了一种映射编码表明在PM系统中,所有符号,定理,证明对应一个唯一的哥德尔数是可能的,反过来也成立。一个唯一的哥德尔数对应了PM系统中唯一的符号序列,
- 通过这种方式,元数学也可以被映射到PM系统本身。有了这种编码映射使得PM系统可以精确的谈论自身。
- 然后哥德尔构建了PM的一个命题 ~(∃x)Dem(x, Sub(n, 17, n)) G,这个命题描述了具有哥德尔数 Sub(n, 17, n)是不可证明的元数学事实。而sub(n, 17, n)=g 正是是这个命题本身的哥德尔数。所以该命题其实描述了自己在PM系统中是不可证明的的数学事实。
- 可以证明 如果G可证,当且仅当 ~G可证。这样就表明如果 PM系统一致,则 G和~G不可能是其的一个定理。但是通过元数学可知G和~G必有一个为真。因为 G和~G其实表达了一个算术事实。