首页
随机
附近
登录
设置
资助维基百科
关于维基百科
免责声明
搜索
一致性 (逻辑)
在邏輯上,理論的屬性不包含矛盾
语言
监视
编辑
(重定向自
不一致
)
此条目
没有列出任何
参考或来源
。
(
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).
这是一篇关于数学的
小作品
。您可以通过
编辑或修订
扩充其内容。
查
论
编