|
|||||
|
|
| 互模拟——检验集合相等的一个新工具 | |
| 引用本文： | 姚从军.互模拟——检验集合相等的一个新工具[J].湖南科技学院学报,2011,32(3):88-89. |
| 作者姓名： | 姚从军 |
| 作者单位： | 湖南科技学院,思想政治理论课教学科研部,湖南永州,425100 |
| 摘 要： | 在ZFC-(AFA)系统中,外延公理不可强大得足以判断两个非良基集合是否相等。因此随着研究范围的扩大,需要新的理论解决新问题。为解决非良基集合相等问题,文章介绍了四个方法:图理论方法、互模拟方法、游戏方法和方程法,这几种方法最后都可以归结为互模拟方法。故互模拟是检验集合相等强有力的工具。 |
| 关 键 词： | 外延公理 非良基集合 可及点图 互模拟 游戏 解引理 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |