经典公理集合论系统与中介公理集合论系统之间的包含关系.pdfVIP

第17卷第3期 数 学 研 究 与 评 论 . 17 . 3 V o l N o 1 9 9 7 年 8 月 JOU RNAL O F M A TH EM A T ICAL R ESEA RCH AND EXPO S IT ION A ug . 1 9 9 7 经典公理集合论系统与中介公理集合论系统 之间的包含关系 张　东　摩 肖　奚　安 (南京航空航天大学计算机系, 210016) 　 ( 空军气象学院数学教研室, 南京市) 摘　要　本文首先在中介公理集合论系统M S 中构造出Peano 自然数系统, 以此为 基础重新定义了M S 中的良集概念, 证明了新定义的良集满足经典公理集合论系统 ZFC - ( ) - ZFC 中去掉正则公理的集合论系统 的全部公理, 从而说明经典公理集合论系统 ZFC 为中 介公理集合论系统M S 的子系统. 关键词　公理集合论, 中介公理集合论. 分类号　 ( 1991) 04 144 AM S CCL O 关于中介数学是否包含经典数学的问题曾有过争议. 文[1 ] 曾提出质疑, 文[2 ]就逻辑的包 含关系问题给出了肯定的答复, 说明经典二值逻辑是中介逻辑的子系统. 就中介公理集合论与 经典公理集合论的关系问题, 文[3 ] 中曾作过初步阐述, 该文在中介公理集合论系统M S 中定 义了一种良集的概念, 证明了这样的良集满足与ZFC - (经典公理集合系统ZFC 中去掉正则公 ) 理得到的集合论系统 的九条公理相类似的九条定理, 从而说明M S 中的良集具有某些与经典 集合相类似的性质, 但这仍不能充分说明M S 包含 ZFC (或 ZFC - ). 本文通过在M S 中重新定 义良集的概念, 证明了这样的集合完全满足经典公理集合论系统 ZFC - 的全部公理, 且其配套 的逻辑关系恰好为文[2 ] 中构造的中介逻辑的二值子系统, 从而最终回答了中介数学与经典数 学的包含关系问题. 本文以文[3 ] 的前四节为基础, 但独立于该文的以后各节. 1　 中的自然数系统 M S 定义1　在M S 中 ( ) ( ) ( + ) = df ∧ ∈ ∧ ∈ ∈ , Ind x M a a x x a x a 这里M 为M S 的常谓词,M (a ) 表示 a 为小集, 称满足 Ind (a ) 的集合a 为归纳集. 引理1　在 中 ( ( ) ∧ ( ∈ ( ( ) ∈ ) ) ). M S a Ind a x x a y Ind y x y 定义2　在 中 ( ) = ( ) ∧ ( ∈ ( ( ) ∈ ) )