集合论是研究集合的数学理论。集合论与数学的一个分支,即逻辑学,紧密相关。
集合论有许多不同的版本,每个版本都有其自身的规则和公理。按照一致性强度递增的顺序,几个版本的集合论包括皮亚诺算术(普通代数)、二阶算术(分析)、策梅洛-弗兰克尔集合论、马洛、弱紧、超马洛、不可言喻、可测、拉姆齐、超紧、巨大和
-巨大集合论。
另请参阅
抽象代数,
分析,
公理集合论,
一致性强度,
连续统假设,
描述集合论,
非谓语的,
Kuratowski 闭包-补集问题,
朴素集合论,
皮亚诺算术,
语句,
集合,
理论,
策梅洛-弗兰克尔公理,
策梅洛-弗兰克尔集合论,
策梅洛集合论
使用 Wolfram|Alpha 探索
参考文献
Courant, R. and Robbins, H. "The Algebra of Sets." Supplement to Ch. 2 in What Is Mathematics?: An Elementary Approach to Ideas and Methods, 2nd ed. Oxford, England: Oxford University Press, pp. 108-116, 1996.Devlin, K. The Joy of Sets: Fundamentals of Contemporary Set Theory, 2nd ed. New York: Springer-Verlag, 1993.Ferreirós, J. Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. Basel, Switzerland: Birkhäuser, 1999.Halmos, P. R. Naive Set Theory. New York: Springer-Verlag, 1974.MacTutor History of Mathematics Archive. "The Beginnings of Set Theory." http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html.MathPages. "Set Theory and Foundations." http://www.mathpages.com/home/ifoundat.htm.Stewart, I. The Problems of Mathematics, 2nd ed. Oxford: Oxford University Press, p. 96, 1987.Weisstein, E. W. "Books about Set Theory." http://www.ericweisstein.com/encyclopedias/books/SetTheory.html.在 Wolfram|Alpha 上被引用
集合论
引用为
Weisstein, Eric W. "集合论。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/SetTheory.html
主题分类