你
请解释一下「逻辑悖论」这个词的含义。
助手
逻辑悖论
luó jí bèi lùn · ㄌㄨㄛˊ ㄐㄧˊ ㄅㄟˋ ㄌㄨㄣˋ
luo ji bei lun
ljbl
ㄌㄨㄛ ㄐㄧ ㄅㄟ ㄌㄨㄣ
2026-07-11 21:22:00
扩展释义
逻辑悖论总是相对于一个公理系统而言的，如果在一个公理系统中既可以证明公式A又可以证明A的否定元A',则我们说在这个公理系统 中含有一个悖论，因为这时A和A'在系统中是可证等价的。
请解释一下「逻辑悖论」这个词的含义。
逻辑悖论总是相对于一个公理系统而言的，如果在一个公理系统中既可以证明公式A又可以证明A的否定元A',则我们说在这个公理系统 中含有一个悖论，因为这时A和A'在系统中是可证等价的。