集合论

就是：集合。这门研究集合的数学理论在现代数学中被恰当地称为集合论。它是数学...的所有领域。如果把现代数学比作一座无比辉煌的大厦，那么可以说集合论正是构成这座大厦的基石，由此可见它在数学中的重要性。其创始人康托尔也以其集合论...

所属分类： 数学 数学术语 数学理论 自然数

公理集合论

公理集合论 正文　　数理逻辑的主要分支之一,是用公理化方法重建(朴素) 集合论的研究以及集合论的元数学和集合论的新的公理的研究。E.F.F.策梅洛于1908年首开先河，提出了第一个集合论公理系统，旨在克服集合论中出...

所属分类： 数学术语 术语

集合论公理系统

集合论公理系统 正文　　公理集合论的基础部分。如同平面几何中的点、线...观的，它们来源于G.（F.P.）康托尔的朴素集合论，是从他的理论中抽象出来...在一起组成刻画集合或类的特征的若干基本原则，就称为集合论的一个公理系统...

朴素集合论

朴素集合论 在纯数学中，朴素集合论是由德国数学家康托尔最早创立的第一个集合论，它后来被更加仔细的构架为公理化集合论。朴素集合论区别于公理化集合论在于，前者依赖把集合作为叫做这个集合的“元素”或 “成员”的对象...

所属分类： 术语

《数理逻辑与集合论第二版精要与题解》

数理逻辑与集合论第二版精要与题解 内容简介全书分为两大部分：第1部分是主教材《数理逻辑与集合论》（第二版）各章的内容精要与学习指导，包括主教...自学者和科技人员参考。数理逻辑与集合论第二版精要与题解 本书目录第一...

《数理逻辑与集合论(第2版)》

数理逻辑与集合论（第2版） 内容简介本书介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。数理逻辑与集合论（第2版...

集合学

概述 集合论（简称集论）是一门研究集合的数学理论。这里的集合指由...化地表示其它数学对象。 相关 集合论可以用来表示一系列略有不同的概念：朴素集合论是由19世纪末的德国数学家康托最早提出的集合论。 公理化集合论...

{ , }

简介 { , } 集合括号 {a,b,c} 表示 a, b,c 组成的集合。 N = {0,1,2,…} …的集合 集合论 备注 ...

替代公理

概述 在公理化集合论和使用它的逻辑、数学和计算机科学分支中，替代公理模式是 Zermelo-Fraenkel 集合论的一个公理模式，它本质上断言一个集合在一个映射(泛函谓词)下的像也是一个集合。它对于构造特...

策梅洛，E.F.F.

策梅洛，E.F.F. 正文　　德国数学家，公理集合论的主要开创者之一...1946年才被该校承认复职。 　　策梅洛的主要贡献是集合论基础，1904年发表的...1908年发表的论文《集合论基础研究 I》中建立了第一个集合论公理系统，给出了...

搜索集合论相关的维吧

1[2][3][4][5]下一页最后一页