逻辑悖论
释
拼音luó jí bèi lùn
字母luo ji bei lun
首字母ljbl
注音ㄌㄨㄛˊ ㄐㄧˊ ㄅㄟˋ ㄌㄨㄣˋ
注音符号ㄌㄨㄛ ㄐㄧ ㄅㄟ ㄌㄨㄣ
逻辑悖论总是相对于一个公理系统而言的,如果在一个公理系统中既可以证明公式A又可以证明A的否定元A',则我们说在这个公理系统 中含有一个悖论,因为这时A和A'在系统中是可证等价的。
逻辑悖论总是相对于一个公理系统而言的,如果在一个公理系统中既可以证明公式A又可以证明A的否定元A',则我们说在这个公理系统 中含有一个悖论,因为这时A和A'在系统中是可证等价的。