哥德尔定理简述：
假定把一个式子，比如2+3=5作为一个自然数1，以次，2+4=6就是2。
歌德尔的含义是，数学是通过等式公理建立的，但其论述也必然包含或者说预设本身。因此，每个数学描述的对象也相当是它本身。
这样表示，X表示数学公理，Y表示数，作为映射，可以有x∈X、y∈Y下，有f（x）=y。但是，因为x映射y是存在自指的，因此，Y当中必然有f（x）≠y∈Y，即f（x）=y不是满射f。
根据f不是满射f，那么如果f是满射，则存在逻辑错误；反之，即存在描述不能由f（x）=y所得。
我的理解思路来自《歌德尔证明》.
最后，我们来讨论这个定理的哲学含义，按照正确推出正确，那么后面式子的正确性表明，构成数学式子的那个数的描述是正确的，但是其不能被证明。这表明，有一些东西是天然正确且无法（甚至讲无需被证明的）。因此，我认为，歌德尔证明反而表明：绝对真理是存在的，但是我们只能去关注它的方面，而不是整体。
发布于 2023-02-21 09:27・IP 属地湖南