首页
随机
附近
登录
设置
资助维基百科
关于维基百科
免责声明
搜索
一致性 (邏輯)
在邏輯上,理論的屬性不包含矛盾
语言
监视
编辑
此條目
没有列出任何
参考或来源
。
(
2022年4月18日
)
維基百科所有的內容都應該
可供查證
。请协助補充
可靠来源
以
改善这篇条目
。无法查证的內容可能會因為異議提出而被移除。
邏輯
上,
一致性
(consistency)、
相容性
、
自洽性
,是指一個
形式系統
中不蘊涵
矛盾
。
所謂的矛盾有二種解讀方式:
語義
上:當一個命題S是由許多命題組成時,如果所有命題可同時為真,則S是一致的,否則S是不一致的。
語法
上:
公理系統
不能推導出兩個相反的結果。亦即不存在命題P,使得P→Q和P→~Q同時成立。
参见
编辑
哥德尔完备性定理
哥德爾不完備定理
完备性
嚴謹 (數學)
不一致的謬誤
矛盾
破釜邏輯
外部链接
编辑
查看
维基词典
中的词条「
一致性
」。
Mortensen, Chris.
Inconsistent Mathematics
.
Stanford Encyclopedia of Philosophy
. 2017
[
2022-10-09
]
. (原始内容
存档
于2022-12-05).
这是一篇关于数学的
小作品
。您可以通过
编辑或修订
扩充其内容。
查
论
编