学习了
谢谢图教授

【 在 qtpr 的大作中提到: 】
: 这是维特根斯坦说的，指出了一个元数学事实：有些命题本身是真的，但如果将其作为公理引入（逻辑）推理系统，会导致系统的不一致，即推导出错误的结论。

- 来自 水木说
--
FROM 114.246.239.*