2. 您的位置
3. 首页
4. 期刊论文
5. A HIERARCHY OF AXIOM SYSTEM ACG

A HIERARCHY OF AXIOM SYSTEM ACG

来源 :中国科学：数学英文版 | 被引量 : 0次 | 上传用户：gu999

【摘 要】

：

The study on the foundation of category was started in 1986, and the axiom system AGC has been developed for congolomerates. The consistency of the system ZF# a

【作 者】

：

张锦文 

【机 构】

：

InstituteofSoftware,AcademiaSinica

【出 处】

：

中国科学：数学英文版

【发表日期】

：

1990年2期

【关键词】

：

HIERARCHY CONSISTENCY AXIOM SCHEMA of predicative comprehension. hierarchy  cons 

【基金项目】

：

Research supported in part by the National Natural Science Foundation of China

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

The study on the foundation of category was started in 1986, and the axiom system AGC has been developed for congolomerates. The consistency of the system ZF# and QM in the system ACG has been proved. A hierarchy of the systems: B0, B1,…,B. (n ∈ω),… is de

其他文献