数学三大不可能性质

在数理逻辑与数学基础中，形式系统通常探讨以下三个核心性质：

• 完备性 (Completeness)：指系统内所有真命题均可被证明。
• 可判定性 (Decidability)：指存在一种算法，能在有限步骤内判定系统内任意命题的真伪。
• 一致性 (Consistency)：指系统内不存在矛盾（即不能同时证明一个命题及其否定）。