|
|||||
|
|
| 集合论公理系统的层谱 | |
| 引用本文： | 张锦文.集合论公理系统的层谱[J].数学季刊,1989(3). |
| 作者姓名： | 张锦文 |
| 作者单位： | 中国科学院软件研究所 |
| 摘 要： | 在文献1,2]中,我们研究了范畴论基础,建立了集合的公理系统ACG,它能够处理超出了集合与类的极其大的汇合。本文进一步推广了系统ACG,建立了集合论公理系统的三个无穷序列:H_0,H_1,…;J_0,J_1,…,G_0,G_1,…。在建立这些公理系统的过程中,我们使用了类型论的方法,它们描述的能力是逐步增长的, |
| 本文献已被 CNKI 等数据库收录！ | |