您的位置首页生活百科

数学的相容性是什么意思

数学的相容性是什么意思

的有关信息介绍如下:

数学的相容性是什么意思

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