数学论文（关于集合中新公理的自然性学说） (3-2)

最后，我们想为今后的工作制定一个计划。一类公理可以在该设置中分析的是Forcing Axioms，我们计划在未来的作品中探究它们的自然性。选择的原因这种类型的公理，而不是，例如，大型基数公理，首先是由于文学中缺乏对这些问题的充分哲学论证原则。此外，它的局部公理的特殊性质代表了一个挑战因为他们的理由，这在大基数的情况下是无法理解的。

具体地说，我们建议重新表述关于按以下方式强制Axioms。

1.问题1：

任意集的概念对于直觉来说是必要的吗强迫公理的动机？

2.问题2：

Forcing Axioms在多大程度上捕捉并强化了这一点主意，我们相信，只有对上述问题给出积极的答案，我们才能主张这些公理的自然性。事实上，根据我们的想法自然性判断隐藏了一个规定性的组成部分，我们相信首先我们应该将我们想要形式化的集合论的相关方面个性化，只有在随后，我们才能支持公理的自然性就其与公理化目标的相关性而言&在这个特定的案例中任意集概念的形式化。

参考文献

T.Arrigoni和iedman。超宇宙计划。符号公告逻辑，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年。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。