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