【作者】 赵希顺；
【机构】 河南师范大学数学系 新乡；
【摘要】 <正> 在文献[1]中,Chang定义了Lω1ω1语言的可构成集类C,并且在ZFC中讨论了C的若干性质。然而在ZFC中,并不能证明C满足选择公理（AC）。本文将发展一公理系统ZFC*,在ZFC*工作中,我们能够证明C满足选择公理。更多还原
