逻辑学

哥德尔不完备定理：在数学上证明“绝对无法证明的真理”