当前位置:首页 > TAG信息列表 > 集合论
集合论
-
集合论含有原子的自然模型和布尔值模型
李娜著2011 年出版187 页ISBN:9787303121694本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此,本文首先定义了模态公式□α的布尔值||□α||;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的...
-
集合论 对无穷概念的探索
郝兆宽,杨跃著2014 年出版246 页ISBN:9787309107104本书是“逻辑与形而上学教科书”中的一本。书中全面介绍了集合论这一数理逻辑的重要领域,共有集合与公理;关系与函数,实数的构造,基数,滤、理想与无界闭集,集合的宇宙,可构成集,力迫等9章内容;除了讨论集合论的基本...