|
|||||
|
|
| 中介公理集合论系统(Ⅵ)——逻辑数学悖论在MS中的解释方法 | |
| 作者姓名： | 肖奚安 朱梧槚 |
| 作者单位： | 空军气象学院(肖奚安)，南京大学(朱梧槚) |
| 摘 要： | 本文分析讨论历史上的逻辑数学悖论在MS 中的解释方法.亦即我们将在这里证明一批引理和定理,借以指明历史上种种逻辑数学悖论均可在MS 中排除.其中包括过去在ZFC中无需解释的、著名的多值逻辑悖论和文[22]中给出的无穷值悖论.因而本文的结果表明,MS 在其相容性问题上的成效,相应地囊 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||
|
||||||||||||||||
|
||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |