形式系统相容性

维基百科，自由的百科全书

(重定向自相容性)
跳转到: 导航, 搜索

在形式化的逻辑系统中，其相容性是指其中没有矛盾，或更精确的说，不存在一个命题P，P和非P都可以在这个系统中证明。

[编辑] 参见

  這是與数学相關的小作品。你可以通过编辑或修订扩充其内容。
来自“http://zh.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%B3%BB%E7%BB%9F%E7%9B%B8%E5%AE%B9%E6%80%A7”
个人工具