数学的相容性是什么意思
的有关信息介绍如下：
在形式化的逻辑系统中，其相容性是指其中没有矛盾，或更精确的说，不存在一个命题P，P和非P都可以在这个系统中证明。
版权声明：文章由 去问问 整理收集，来源于互联网或者用户投稿，如有侵权，请联系我们，我们会立即处理。如转载请保留本文链接：https://www.qwenw.com/answer/337576.html
在形式化的逻辑系统中，其相容性是指其中没有矛盾，或更精确的说，不存在一个命题P，P和非P都可以在这个系统中证明。
