对任意理论T，是否存在命题p，使得p关于T的独立性与T独立？
2024-02-16 阅读 27
是的，对于任意理论T，总是存在一个命题p，使得p关于T是独立的，即p既不可证明也不可证伪，与T也是独立的，即p既不是T的定理也不是T的反定理。这样的命题p被称为T的独立公式。在数理逻辑和模型论中，独立公式的存在性是基本结果之一。
更新于 2024年04月16日
