注：（2/2）章节！
——由于[Ferreir´os，1999]是关于这一主题的一个很好的参考文献——我们推迟下面引用的任务是对公理集合论和个性化历史上的两个主要时期促使集合论作为基础发展的原因
学说
这样的描述[将集合论描述为一个没有实质前因的理论]似乎适合于集合论作为一个领域从1950年左右开始的元理论时期，[…]但不适用于更多1940年以前的一个恰当的理论和公理化时期。它正是在1904年至1940年这一时期是从集合论中获得的，它的公理基础，宇宙V[…]基本上是理解和澄清概念的问题数量和功能。
在Cohen的结果之后，集合论的历史主要在于一个独立的数学领域的发展，以及它的内在动机。
当从这个角度来看集合论时，ZFC的扩展意味着追求集合论的基础，主要被认为是对ZFC的不同可能模型的研究。因此，独立集合理论原则是或者为了理解它们在ZFC的不同模型中的行为而进行研究，例如，哈姆金斯对多元宇宙的公理化处理（参见[Hamkins，2012]），或者目的是在众多车型中选择合适的车型集合的可能宇宙，如阿里戈尼·弗里德曼的超宇宙程序（见[Arrigoni和Friedman，2013]）——以及其他提案——旨在做到这一点。
然而，当我们认为集合论是数学的基础时，我们应该从技术和结果是在1963年之后发展起来的。正如[Ferreir os，2011]中所述，集合论在阐明数学基础方面的作用在于对…的最一般概念进行数学处理的尝试数和函数，根据更原始的任意集的概念。
任意集是其存在独立于我们对定义它们。因此，根据定义，任意集合不允许表征或明确的描述，但它的存在源于象Cantor关于实数不可数性的存在定理。
事实上，既然我们的语言是可数的，那么总会有真实的存在数字的定义超越了我们语言的表达能力。这个与这个概念相关的数学对象的概念是拟的组合主义，如[Bernays，1983]所述。
但分析并不满足于这种温和的柏拉图主义[取所有给定数字的集合]；它将其反映为关于以下概念的更强程度：数集，数字的意义和函数。它从可能性中抽象出来给出集合、序列和函数的定义。这些概念在“准组合”意义上使用，我的意思是：把无限比作有限的感觉。
例如，考虑分配给每个的不同功能有限级数1、2、…的成员，n同一系列的一个数。
有nn这类函数，并且它们中的每一个都由n获得独立决定。转到无限的情况，我们想象由无穷多个独立决定产生的函数它为每个整数分配一个整数，我们对这些功能的总和。
以同样的方式，我们将一组整数视为无穷的结果许多独立的行为决定每个数字是否应该包括或排除。我们在此基础上增加了整体性的概念这些集合中的一个。实数序列和实数集以类似的方式设想。从这个角度来看，具体函数、序列和集合的构造性定义是挑选独立存在的对象的唯一方法，以及在施工之前。
在[Ferreir´os，2011]中，有人试图分析ZFC的哪些公理是能够形式化——以及在多大程度上——任意集的概念除了选择公理外，他们中的大多数人都很穷捕捉这一概念。出于同样的原因，我们可以很容易地将V=L丢弃为不自然，因为只考虑可构造集给出的限制是与任意集合的概念完全正交。然而，在可构建的宇宙中，AC持有的事实并不是它捕捉能力的暗示这个特定的概念，但恰恰相反：没有任意性，在有限的情况下，使选择变得微不足道。
最后，我们想为今后的工作制定一个计划。一类公理可以在该设置中分析的是Forcing Axioms，我们计划在未来的作品中探究它们的自然性。选择的原因这种类型的公理，而不是，例如，大型基数公理，首先是由于文学中缺乏对这些问题的充分哲学论证原则。此外，它的局部公理的特殊性质代表了一个挑战因为他们的理由，这在大基数的情况下是无法理解的。
具体地说，我们建议重新表述关于按以下方式强制Axioms。
1.问题1：
任意集的概念对于直觉来说是必要的吗强迫公理的动机？
2.问题2：
Forcing Axioms在多大程度上捕捉并强化了这一点主意，我们相信，只有对上述问题给出积极的答案，我们才能主张这些公理的自然性。事实上，根据我们的想法自然性判断隐藏了一个规定性的组成部分，我们相信首先我们应该将我们想要形式化的集合论的相关方面个性化，只有在随后，我们才能支持公理的自然性就其与公理化目标的相关性而言&在这个特定的案例中任意集概念的形式化。
参考文献
T.Arrigoni和S.Friedman。超宇宙计划。符号公告逻辑，19（1）：77-962013。
J.Bagaria。集合论的自然公理与连续体问题。CRM预印本，591:192004。
P.Bernays。论数学柏拉图主义。在P.Benacerraf和H.Putnam，编辑，《数学哲学：选读》，第258–271页。剑桥大学出版社，1983年。
G.布洛斯。集合的迭代概念。哲学杂志，68（8）：215–231，1971S.费费曼。数学需要新的公理吗？
美国数学月刊，106:106-1111999。
J.Ferreir os。思想的迷宫。集合论的历史及其在现代的作用数学Birckh¨auser，1999年。
J.Ferreir os。关于任意集和ZFC。符号逻辑公告，17（3）：361–3932011年。
G.弗雷格。算术的基础：逻辑数学探究数字的概念。布莱克威尔，1950年。
G.弗雷格。哲学和数学对应。巴兹尔·布莱克威尔，1980年。
S.弗里德曼。集合论的稳定公理。在J.Bagaria和S.Todorcevic中，编辑，集合论：研究中心~A tica，巴塞罗那，2003-2004年，275–283页。Birkh¨auser Verlag，2006年。
K.G模型。选择公理与广义连续体假设的一致性。美国国家科学院院刊美利坚合众国，1938年24时56分至557分。
K.G模型。罗素的数理逻辑。在S.Feferman、J.Dawson、S.Kleene，G.Moore和J.Van Heijenoort，编辑，文集。1938年第二卷-1974年，第119–141页。剑桥大学出版社，1964年。
K.G模型。什么是康托尔的连续体问题？在P.Benacerraf和H.Putnam的编辑中，《数学哲学选读》，第470–485页。
剑桥大学出版社，1983年。
K.G模型。作品集。1938-1974年第二卷。牛津大学出版社，1990年。
J.哈姆金斯。集合论的多元宇宙。符号逻辑综述，5:416–449，2012K.豪泽。是sind还是sollen（neue）公理？G.Link，编辑，One《罗素悖论的百年》，第93–118页。Waler de Gruyter，2004年。
K.豪泽。康托在美沙学和数学方面是绝对的。国际的《哲学季刊》，53（2）：161-1882013。
G.赫尔曼。没有数字的数学。牛津大学出版社，1989年。
B.2林内博。结构主义和依赖的概念。《哲学季刊》，58:59-792008。
P.Maddy。相信公理I.符号逻辑杂志，53（2）：481-511，1988
P.Maddy。数学中的现实主义。牛津大学出版社，1990年。
P.Maddy。数学中的自然主义。克拉伦登出版社，1997年。
P.Maddy。为公理辩护：基于集合论的哲学基础。
牛津大学出版社，2011年。
D.马丁。集合的多重宇宙和不确定的真值。托波伊，20：2001年5月16日。
D.马丁。G¨odel的概念现实主义。符号逻辑公报，11（2）：207–2242005。
D.Martin和J.Steel。投射确定性的证明。《》杂志美国数学学会，2（1）：71-1251989。
L.San Mauro和G.Venturi。数学中的自然。在Lolli、Panza和
文丘里，编辑，数学哲学；从逻辑到实践。波士顿科学哲学研究。施普林格，2015年。
B.罗素。发现数学前提的回归方法。在里面D.拉基，编辑，《分析随笔》，第272–283页。George Allen&Unwin，1907S.Shapiro。可计算性、证明性和开放性。编辑A.Olszewski、J.Wolenski和R.Janusz，Church 70年后的论文，第420–455页。
Ontos Verlag，2006年。
F.韦斯曼。分析语法III。分析，11（3）：49-611951a。
F.韦斯曼。分析Syntethic IV.分析，11（6）：115–1241951b。
W.H.Woodin。连续体假说。第一部分AMS的通知，48（6）：567–5762001年。
津ICP备2022002164号-2 © 2016-2023 iHuaBen.com 版权保护声明 不良信息举报:jubao@ihuaben.com
京公网安备11010502036362号