形式系统相容性

形式系统相容性 （正體）

在形式化的逻辑系统中，其相容性（或一致性、自洽）是指其中没有矛盾，或更精确地说，不存在一个命题P，P和非P都可以在这个系统中证明。

参见

• 哥德尔完备性定理
• 哥德尔不完备定理
• 完备性
• 严谨 (数学)

%E6%80%A7

stock | retire | vm
Why are we here?
All text is available under the terms of the GNU Free Documentation License
This page is cache of Wikipedia. History