一致性 (邏輯)
外观
(重定向自形式系統相容性)
此條目没有列出任何参考或来源。 (2022年4月18日) |
邏輯上,一致性(consistency)、相容性、自洽性,是指一個形式系統中不蘊涵矛盾。
所謂的矛盾有二種解讀方式:
参见
[编辑]外部链接
[编辑]- Mortensen, Chris. Inconsistent Mathematics. Stanford Encyclopedia of Philosophy. 2017 [2022-10-09]. (原始内容存档于2022-12-05).
|
|
![]() | 这是一篇关于数学的小作品。您可以通过编辑或修订扩充其内容。 |