哥德尔证明

尽管鲜为人知，但它是 20 世纪思想的里程碑。 该证明揭示了数学和数理逻辑中始终存在某些惊人的局限性