《公理集合论导引》是2011年科学出版社出版的图书，作者是戴牧民、陈海燕、郑顶伟。内容简介 本书先介绍了集合论形成和发展的历程，公理化问题的由来，公理化的意义，其次按zfc公理系统逐步介绍各条公理，数系的构建，序数和基数的理论，以及在拓扑学研究上常用的一些知识等。图书目录 序 上篇 第1章 集论的公理化...
定理11.16Ω+Ω是一个二型序数,并且它是大于Ω+α(对于一切α<Ω)的最小二型序数。 证明首先利用公理 C3 可知Ω+Ω是一个聚合,并可直接验证它满足定义 11.2 (1) 和 (2),所以它是一个二型序数。对于任一β<Ω,显然有 -Ω+β+1∈{Ω+a∣a∈Ω}, -Ω+β∈Ω+β+1, 所以, -Ω+β∈⋃{Ω+...
戴牧民编著的《公理集合论导引》是公理集合论的入门书,先介绍了 集合论形成和发展的历程,公理化问题的由来,公理化的意义,其次按zfc 公理系统逐步介绍各条公理,数系的构建,序数和基数的理论,以及在拓 扑学研究上常用的一些知识(包括闭无界集、稳定集与pressing down引理 ,a系统与厶系统引理,滤子与超滤,树和树拓扑...
与通常的公理集会论著作不同,本书在引人形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念,为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统,对直观集合论中的概念和公理进行了形式化处理,并在此基础上建立了若干逻辑定理。以后各章介绍了...
《公理集合论导引》是1999年科学出版社出版的图书。出版背景 与通常的公理集会论著作不同，本书在引人形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念，为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。第六章引进了集合论形式语言和ZF形式公理系统，对直观集合论中的概念和公理进行...
第一章 集合与类 几个基本原则 参考文献:现代数学基础丛书《公理集合论导引》。 第一章 集合与类 几个基本原则 外延原则:集合由它的元素完全确定. 概括原则:对于一个对象x的任意性质或条件p(x),总存在类S,它的元素恰好是满足这个条件的那些对象,即S={x|p(x)}. ...
公理集合论导引 作者:戴牧民,陈海燕,郑顶伟出版社:科学出版社出版时间:2017年02月 手机专享价 ¥ 当当价 降价通知 ¥45.80 定价 ¥58.00 配送至 北京市东城区 运费6元,满49元包邮 服务 由“当当”发货,并提供售后服务。 加入购物车 科学出版社自营店 当当自营 进入店铺 收藏店铺 商品详情 开本:128开...
《公理集合论导引》是公理集合论的入门书.先介绍了集合论形成和发展的历程,公理化问题的由来,公理化的意义,其次按ZFC公理系统逐步介绍各条公理,数系的构建,序数和基数的理论,以及在拓扑学研究上常用的一些知识(包括闭无界集、稳定集与PressingDown引理,△系统与△系统引理,滤子与超滤,树和树拓扑等)。与此同时,还...
本书在介绍公理集合论之前，首先从直观的角度深入浅出地阐述了类、集合、序数、基数以及势的概念。这一特色使得对逻辑理论基础不深的读者也能轻松掌握集合论的基本概念。通过第六章的深入，本书进一步引入了集合论的形式语言以及ZF形式公理系统，对直观集合论中的概念和公理进行了形式化处理。在此基础上，...