【毕导】这个视频里说的都是真的，但你却永远无法证明

非常之精妙，这应该是毕导做过的最深入的科普。
在以前对数学的学习过程中，虽然没有刻意去了解学习，但冥冥中一直抱有“数学是严密且完备的”的信仰。但当真的见识到不完备性的证明时，我反倒没有失望，因为这恰恰说明了数学具有自我批判的能力。