1930年，二十四岁的哥德尔用一篇二十几页的论文，证明了数学没法给自己做体检——任何足够强大、自洽的公理系统，都存在既证不了真也证不了假的命题，而且这个系统永远没法在内部证明自己不矛盾。这一期我们完整走进证明内部：哥德尔编码把数学语言翻译成...