|
|||||
|
|
| 中介公理集合论系统(Ⅵ)——逻辑数学悖论在MS中的解释方法 | |
| 引用本文： | 肖奚安,朱梧槚.中介公理集合论系统(Ⅵ)——逻辑数学悖论在MS中的解释方法[J].自然杂志,1986(12). |
| 作者姓名： | 肖奚安 朱梧槚 |
| 作者单位： | 空军气象学院 (肖奚安)，南京大学(朱梧槚) |
| 摘 要： | 本文分析讨论历史上的逻辑数学悖论在MS 中的解释方法.亦即我们将在这里证明一批引理和定理,借以指明历史上种种逻辑数学悖论均可在MS 中排除.其中包括过去在ZFC中无需解释的、著名的多值逻辑悖论和文22]中给出的无穷值悖论.因而本文的结果表明,MS 在其相容性问题上的成效,相应地囊 |
| 本文献已被 CNKI 等数据库收录！ | |