还提到了 Gödel's proof。数学家。 下面这段话是从网上抄的。

Gödel proved fundamental results about axiomatic systems showing in any axiomatic mathematical system there are propositions that cannot be proved or disproved within the axioms of the system.

爱因斯坦和Gödel在晚年时期是非常好的朋友。最后他俩一致同意，truth 就是在那里，但是总是被什么东西shielded

所以人总是找不到最后的真理。所以应该是上帝的杰作。