一致性

在公理系統中，不存在矛盾（即，不能證明一個陳述及其否定都為真）被稱為一致性。

另請參閱

公理化集合論, 公理系統, 完全公理理論, 一致性強度, 哥德爾第一不完備性定理, 哥德爾第二不完備性定理

使用探索

更多嘗試

請引用為

Weisstein, Eric W. “一致性。” 來自 --一個 Wolfram 網路資源。 https://mathworld.tw/Consistency.html

主題分類