主题：【原创】《通鉴评说》文哲系列 -- 唵啊吽

任何一个相容的数学形式化理论中，只要它强到足以在其中定义自然数的概念，就可以在其中构造在体系中既不能证明也不能否证的命题。