形式系统相容性

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

（重定向自相容性）

跳转到：导航, 搜索

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

[编辑] 参见

這是與数学相關的小作品。你可以通过编辑或修订扩充其内容。

来自“http://zh.wikipedia.org/w/index.php?title=%E5%BD%A2%E5%BC%8F%E7%B3%BB%E7%BB%9F%E7%9B%B8%E5%AE%B9%E6%80%A7&oldid=15803617”

數理邏輯

1个隐藏分类:

數學小作品

个人工具

登录/创建账户

帮助

工具

其他语言