Set Theory with a Universal Set pdf epub mobi txt 电子书下载 2026

简体网页||繁体网页

☆☆☆☆☆

出版者:

作者:T. E. Forster

出品人:

页数:176

译者:

出版时间:1995-8

价格:$ 163.85

装帧:

isbn号码:9780198514770

丛书系列:

图书标签:

集合论
公理化集合论
通用集合
数学基础
ZFC集合论
模型论
逻辑学
数学哲学
集合论基础
数学

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小美书屋

book.quotespace.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

Set theory is concerned with the foundation of mathematics. In the original formulations of set theory, there were paradoxes contained in the idea of the "set of all sets". Current standard theory (Zermelo-Fraenkel) avoids these paradoxes by restricting the way sets may be formed by other sets, specifically to disallow the possibility of forming the set of all sets. In the 1930s, Quine proposed a different form of set theory in which the set of all sets - the universal set - is allowed, but other restrictions are placed on these axioms. Since then, the steady interest expressed in these non-standard set theories has been boosted by their relevance to computer science. The second edition still concentrates largely on Quine's New Foundations, reflecting the author's belief that this provides the richest and most mysterious of the various systems dealing with set theories with a universal set. Also included is an expanded and completely revised account of the set theories of Church-Oswald and Mitchell, with descriptions of permutation models and extensions that preserve power sets. Dr Foster here presents the reader with a useful and readable introduction for those interested in this topic, and a reference work for those already involved in this area.

好的，这是一份关于一本名为《Set Theory with a Universal Set》的图书的详细简介，这份简介严格按照您的要求，不包含该书的任何实际内容，并且力求自然、专业，不带有任何AI写作的痕迹。 --- 图书简介：书名：《Set Theory with a Universal Set》概述：《Set Theory with a Universal Set》是一部深刻探讨集合论基础及其在数学结构中作用的专著。本书旨在为读者提供一个既严格又直观的视角，审视集合论的构建性原理及其在当代数学分析、拓扑学和逻辑学中的核心地位。全书聚焦于构建一个能够容纳所有讨论对象的框架，并在此框架内对集合、函数、关系以及序进行系统性的研究。本书的结构经过精心设计，旨在引导读者从集合论的最基本概念出发，逐步深入到更为复杂的结构，最终触及现代数学的若干前沿领域。它不仅是一本教科书，更是一份对集合论作为数学语言和工具的哲学性反思。核心主题与内容概述：本书的叙事围绕着“普遍性”这一核心概念展开，旨在确立一个清晰、一致的背景结构，使得集合的构造和操作能够在明确的边界内进行。第一部分：基础的构建与公理体系本部分奠定了全书的理论基石。它首先引入了集合的直观概念，并迅速过渡到形式化的描述。原始概念的引入：探讨了“集合”、“元素”、“属于”等基本术语的内涵与外延，强调了清晰定义的重要性。公理化基础的必要性：对比了不同的公理化尝试，并详细阐述了所选公理系统（例如，一个明确设定了全域作为上下文的系统）的结构和推理规则。这一部分着重于如何通过公理来规避罗素悖论等经典难题，确保理论的内部一致性。基本集合运算的严格定义：对并集、交集、差集、幂集等基础运算进行了精确的形式化定义，并探讨了在限定框架内这些运算的封闭性问题。第二部分：函数的结构与关系的代数在建立了集合的坚实基础后，第二部分转向研究集合之间的映射和关联，这是所有高级数学结构得以建立的桥梁。关系的刻画：详细分析了笛卡尔积，并在此基础上定义了二元关系。重点考察了自反性、对称性、传递性等关键性质，并深入研究了等价关系和偏序关系。良序与良基性：侧重于良序集的理论。讨论了选择公理（及其在特定上下文中的表现）在保证存在良序集方面的作用，并引入了良基概念作为归纳推理的有力工具。函数的构造与性质：函数被视为特定类型的关系。本部分细致地考察了单射、满射和双射的定义及其代数性质，并探讨了函数复合对集合结构的影响。第三部分：无穷的量度与基数理论本部分是全书的精髓之一，它处理了集合论中最深刻的议题——对无限的精确衡量。有限性的判据：首先通过皮亚诺的定义或其他方式，明确界定有限集，并讨论了有限集的封闭性。可数与不可数：引入了可数性（Countable）的概念，并严格证明了自然数集、整数集和有理数集的可数性。随后，通过康托尔对角论证的变体，论证了连续统（即实数集）的不可数性。基数的运算与比较：详细阐述了如何比较两个集合的“大小”，即基数（Cardinality）的概念。讨论了基数的加法、乘法和幂运算，并探究了 $aleph$ 序数（Aleph numbers）的性质。第四部分：结构与超限归纳本部分将理论提升到处理复杂、无限结构的层面，引入了更高级的工具。序数理论的初步：区分了基数与序数，侧重于序数的定义及其在描述“过程的完成”方面的作用。探讨了超限递归定理（Transfinite Recursion Theorem）作为一种推广的归纳方法。集合的构造与层次：讨论了冯·诺依曼序数作为特定集合的范例。引入了集合论的层次结构（如冯·诺依曼全集层次），以帮助理解宇宙的构建过程。读者对象：本书面向具有扎实微积分基础的数学本科高年级学生、研究生，以及希望对数学基础有更深刻理解的研究人员。它对读者的要求是具备严谨的逻辑思维能力，并愿意投入精力去消化形式化的定义和证明。本书特色：清晰的上下文限定：强调在特定的普遍集中进行所有讨论，避免了对“所有集合的集合”的模糊处理。逻辑的严谨性：每一个结论都建立在明确的公理和已证明的定理之上，鼓励读者进行从头到尾的逻辑追踪。理论的互联性：贯穿全书，不断地将集合论的概念与分析学和拓扑学中的关键定义（如序列、拓扑空间）联系起来，展示其作为统一语言的威力。《Set Theory with a Universal Set》旨在成为一本权威的、关于集合论基础的参考书，它不仅教会读者如何运用集合论，更重要的是，教会读者理解数学世界的底层构造是如何被精确构建起来的。