数学四大悖论是指哥德尔不完全性定理、罗素悖论、康托尔悖论和白头假设悖论。这些悖论揭示了数学的深刻内涵，挑战了我们对数学的认识和理解。
1. 哥德尔不完全性定理：任何包含算术的形式系统都有无法被证明的命题。
2. 罗素悖论：如果一个集合不包含自己，那么它应该属于自己；但如果它包含自己，那么它又不应该属于自己。
3. 康托尔悖论：任何集合的幂集的大小都比原集合大，但是无穷集合的大小是相等的。
4. 白头假设悖论：不存在一个小的无穷基数。
这些悖论意识到数学的局限性和复杂性，也深入思考数学的本质和意义。虽然它们看似矛盾和荒诞，但却是数学思维的重要组成部分。
数学四大悖论是数学史上的重要里程碑，它们启示我们深入思考数学的本质和意义，也更加谦逊和敬畏于数学的无穷奥秘。