逻辑悖论

基本属性

• 拼音字母luo ji bei lun
• 拼音首字母ljbl
• 注音符号ㄌㄨㄛ ㄐㄧ ㄅㄟ ㄌㄨㄣ

扩展释义

逻辑悖论总是相对于一个公理系统而言的，如果在一个公理系统中既可以证明公式A又可以证明A的否定元A',则我们说在这个公理系统 中含有一个悖论，因为这时A和A'在系统中是可证等价的。