哥德尔证明的通俗理解。

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