主题
Search

一致性


公理系统中,不存在矛盾(即,不能证明一个陈述及其否定都为真)被称为一致性。


另请参阅

公理化集合论, 公理系统, 完全公理理论, 一致性强度, 哥德尔第一不完备性定理, 哥德尔第二不完备性定理

使用 探索

请引用为

Weisstein, Eric W. “一致性。” 来自 --一个 Wolfram 网络资源。 https://mathworld.net.cn/Consistency.html

主题分类