摘要
本文以ＺＦｃ聚合公理系统为基础，构造了ＺＦｃ的布尔值模型，证明了关键定理９、定理１５，使得ＺＦ集合公理系统的布尔值模型Ｖ（Ｂ）Ｏｎ是聚合公理系统的布尔值模型〔Ｖ（Ｂ）ＯＮ〕的子模型。
On the basis of ZF C conglomerate axiomatic system,the Boolean valued model of ZF C and the main theorems 9 and 15 are given. The paper shows that the Boolean valued model V (B) On on ZF set axiomatic system is the submodel of Boolean valued model V (B) ON on ZF C conglomerate axiomatic system, and the axioms of ZF is satisfied in V (B) ON .
出处
《数学杂志》
CSCD
1997年第2期207-213,共7页
Journal of Mathematics
关键词
序量
二型类
布尔值模型
聚合公理系统
set、 class、 conglomerate、 two type ordinal number、 two type class Boolean valued model.
