玛丽贝尔·阿纳科纳;路易斯·卡洛斯·阿博莱达;佩雷斯·费尔南德斯，F.哈维尔 论布尔巴基的集合论公理体系。 （英语） Zbl 1310.03048号 合成 191，第17号，4069-4098（2014）. 摘要：在本文中，我们研究了布尔贝吉为集合理论提出的公理系统数学教育我们首先考察符号在其形式逻辑理论框架中所起的作用，然后证明集合论公理系统等价于具有选择公理但没有基础公理的Zermelo-Fraenkel系统。此外，为了考虑范畴理论，我们研究了格罗森迪克（Grothendieck）关于在布尔贝吉体系中加入宇宙公理的建议。在这方面，我们发表了一些历史和认识论言论，可以解释该集团的保守态度。 引用于三文件 MSC公司： 03E30年 经典集合论及其片断的公理化 03-03 数学逻辑和基础的历史 01A60型 20世纪数学史 01A72号 数学学校 关键词：布尔巴基;集合论;公理系统;格罗腾迪克;范畴理论 传记参考： 尼古拉斯·布尔巴吉 软件：盖亚 PDF格式BibTeX公司 XML格式引用 \textit｛M.Anacona｝等人，Synthese 191，编号174069-4098（2014；兹bl 1310.03048） 全文： 内政部 参考文献： [1] 尼古拉斯·布尔巴吉合作者协会档案馆。URL位于：http://mathdoc.emath.fr/archives bourbaki/。 [2] Aczel，P.（1988年）。无资金支持的集合。斯坦福：美国国会图书馆出版数据编目·Zbl 0668.04001号 [3] 阿尔瓦雷斯，C.（1994）。无穷大的决定是超限基数的不可接受性。Crítica，Revista hispanoamericana de filosofía，XXVI（78），27-71。 [4] Arboleda，L.C.（2009年）。希尔伯特·y·埃尔·梅托多的理想元素。数学，III（4），239-263。 [5] Arboleda，L.C.（2007）。建筑模式与现实世界的建筑模式。马特马提卡历史博物馆（Revista Brasileira de História da Matemática）。特别编号1，215-230·Zbl 1147.03031号 [6] Arboleda，L.C.（2012）。目标材料与构成：拓扑发展趋势。Notae Philosophicae Scientiae Formalis，1（1），32-44。 [7] Beaulieu，L.（1989）。布尔巴吉。《法兰西数学团体历史》（1934-1944）。博士学位。蒙特利尔：蒙特利尔大学。 [8] Bell，J.L.（1993）。希尔伯特ε-算子和经典逻辑。哲学逻辑杂志，22，1-18·Zbl 0784.03008号 ·doi:10.1007/BF01049178 [9] Boniface，J.（2004）。希尔伯特等人提出了数学存在的概念。巴黎：图书馆哲学J.弗林·1099.00004赞比亚比索 [10] Bourbaki，N.（1935年）。和睦乐团与阿尔盖布。巴黎圣母院院长会议。尼古拉斯·布尔巴吉合作者协会档案馆，delbe_006·Zbl 0764.01009号 [11] Bourbaki，N.（1936年）。合奏——《Escoriales决定》[原文如此]。埃斯科里亚尔议会（dit aussi EscorialáChançay）。尼古拉斯·布尔巴吉合作者协会档案馆，deles_002。 [12] Bourbaki，N.（1937年）。《布尔巴吉日报》第9期；16/03/1937. 《布尔巴基学报》（1935-1937）。尼古拉斯·布尔巴吉合作者协会档案馆，deljb_010·Zbl 1058.00505号 [13] 布尔巴基，N.（1942年）。LA TRIBU（…）克莱蒙特议会决议（1942年9月5日至14日）。尼古拉斯·布尔巴吉合作者协会档案馆，nbt_009·Zbl 1298.18003号 [14] 北布尔巴基（1948年）。LA TRIBU No.15号。南希国会议员（1948年9月13日至13日）。尼古拉斯·布尔巴吉合作者协会档案馆，nbt_017·Zbl 0034.00105号 [15] Bourbaki，N.（1949年）。工作数学家的数学基础。《Simbolic Logic杂志》，14（1），1-8·Zbl 0034.00105号 ·doi:10.2307/2268971 [16] 布尔巴吉，N.（1950a）。Livre I.Théorie des ensembles Ch.I（état 5）。尼古拉斯·布尔巴吉合作者协会档案馆，R139_nbr_042。 [17] 布尔巴吉，N.（1950b）。利夫雷一世第二章（第5章）。合奏曲。尼古拉斯·布尔巴吉合作者协会档案馆，R138_nbr_041。 [18] Bourbaki，N.（1951a）。LA TRIBU 24号。南希国会议员（Compte rendu du Congrès de Nancy）（1951年1月27日至3日）。尼古拉斯·布尔巴吉合作者协会档案馆，nbt_025。 [19] 北布尔巴基（1951b）。Livre I.Théorie des ensemblies乐队。第一章（第六章）数学形式描述。尼古拉斯·布尔巴吉合作者协会档案馆，R147_nbr_049。 [20] 北布尔巴基（1953a）。洛杉矶特里布30号。塞莱斯·苏尔·普莱恩议员（1953年3月1日至8日）。尼古拉斯·布尔巴吉合作者协会档案馆，nbt_031。 [21] Bourbaki，N.（1953b）。合奏。第二章第3条和第6条（第8条）。尼古拉斯·布尔巴吉合作者协会档案馆，R172_nbr_075。 [22] Bourbaki，N.（1968年）。集合论。数学基础。巴黎：赫尔曼·Zbl 0175.27001号 [23] 北布尔巴基（1970年）。合奏曲。数学教育。巴黎：赫尔曼·Zbl 0282.04001号 [24] Bourbaki，N.（1972年）。Univers大学。在M.Martin、A.Grothendieck和J.L.Verdier（编辑）的《拓扑与同调故事》中。1963-64年，《博伊斯玛丽阿尔盖布里克教堂》（SGA 4）。第1卷（第185-217页）。http://library.msri.org/books/sga/sga/pdf/sga4-1.pdf。 [25] Cartan，H.（1943年）。数学建模的基础逻辑。Revue Scientifique，81，3-11·Zbl 0063.00736号 [26] Corry，L.（1992）。尼古拉斯·布尔巴吉和数学结构的概念。合成，92，315-348·Zbl 0752.0004号 ·doi:10.1007/BF00414286 [27] Corry，L.（2004）。现代代数与数学结构的兴起（2修订版）。柏林：Birkhäuser·Zbl 1044.01008号 ·doi:10.1007/978-3-0348-7917-0 [28] 德特勒夫森，M。；夏皮罗，S.（编辑），《形式主义》，236-317（2005），纽约·doi:10.1093/0195148770.003.0008 [29] Dieudonné，J.（1939）。现代公理与数学基础。Revue Scientifique，77，224-232。 [30] 艾伦伯格，S.和麦克莱恩，S.（1945）。自然等价物的一般理论。美国数学学会学报，58（2），231-294·Zbl 0061.09204号 ·数字对象标识代码：10.2307/1990284 [31] Feferman，S.（2013）。有限范畴理论的基础：还有什么要做。符号逻辑评论，6（1），6-15·兹比尔1275.18005 ·doi:10.1017/S1755020312000111 [32] Fang，J.（1970）。布尔巴吉。走向现代数学哲学I。纽约：Paideia出版社·Zbl 0215.03401号 [33] Ferreirós，J.（2010）。马提卡岛：联合国教科文组织。《理论：理论、历史和科学基础国际期刊》，69，279-299·Zbl 1243.03003号 [34] Ferreirós，J.（2007）。思想的迷宫。集合论历史及其在现代数学中的作用（第二修订版）。瑞士：Birkhäuser·Zbl 1119.03044号 [35] Ferreirós，J.（1992）。1854年至1908年，《圣母玛利亚》（El naciminto de la teoría de conventos）。马德里：马德里大学教育。 [36] Grimm，J.（2013年a）。布尔贝吉数学元素在考克中的实现：第一部分。集合论。INRIA-00408143，第6版，10月31日。http://hal.archives-ouvertes.fr/docs/00/87/90/71/PDF/RR-6999-v6.PDF。 [37] Grimm，J.（2013年b）。布尔巴基数学原理在考克中的应用：第二部分。有序集合，红雀，整数。INRIA-00440786，第6版，11月29日。http://hal.archives-ouvertes.fr/docs/00/91/17/02/PDF/RR7150-v6.PDF。 [38] Grothendieck，A.（1957）。Sur quelques points d’algèbre同源。《托库数学杂志》，9（2），119-221·兹伯利0118.26104 ·doi:10.2748/tmj/1178244839 [39] Grothendieck，A.（1971）。复述故事与群体基础。1960-1961年，《博伊斯玛丽阿尔盖布里克圣母院》（SGA 1）。A.Dold和B.Eckmann（编辑），数学课堂讲稿（第224卷）。柏林-海德堡-纽约：Springer-Verlag·Zbl 0752.0004号 [40] Grothendieck，A.和Verdier，J.L.（1972年）。Prefaisceux公司。M.Artin、A.Grothendieck和J.L.Verdier（编辑），《拓扑与同调故事》，第1卷。《圣母玛利亚教堂》，1963-64年（SGA 4）（第1-217页）。另见数学第269卷课堂讲稿。柏林-海德堡-纽约：施普林格。http://library.msri.org/books/sga/sga/pdf/sga4-1.pdf。 ·Zbl 1298.18003号 [41] Grothendieck，A.（1986年）。Récoltes et semilles公司。《数学之路的屈曲与运动》（Réflexions et témoignage sur un passéde Mathématicien）。http://www.math.jussieu.fr/leila/grothendieckcircle/RetS.pdf·1510.00023兹罗提 [42] 希尔伯特，D。；Ewald，W.（编辑），《数学的逻辑基础》，第二期，1134-1148（1923），纽约 [43] 希尔伯特，D。；Heijenoort，J.（编辑），《论无限》，367-392（1925），剑桥-马萨诸塞 [44] 希尔伯特，D。；Heijenoort，J.（编辑），《数学基础》，464-479（1927），剑桥大学 [45] Hilbert，D.和Ackermann，W.（1950）。数理逻辑原理。纽约：切尔西出版公司。（第二版（1938年）《理论逻辑》的英译本，第一版于1928年出版）·Zbl 0040.00402号 [46] Hrbacek，K.和Jech，T.（1999年）。集合论导论。纽约：马塞尔·德克尔·Zbl 1045.03521号 [47] Jech，T.（2005）。无限大。西班牙皇家马特马提卡协会，8（2），369-377。 [48] Krömer，R.（2006年）。La“machine de Grothendieck”se fonde-t-elle seulement sur des vocables métamatiques？“格罗森迪克机器”？布尔巴吉等猫科动物研究中心（Bourbaki et les catégories au cours des anne es cinquante）。数学史评论，12119-162·Zbl 1177.01034号 [49] Krömer，R.（2007）。工具和对象。范畴理论的历史和哲学。柏林：Birkhäuser·Zbl 1114.18001号 [50] Kunen，K.（1980）。集合论。独立性证明简介。阿姆斯特丹：爱思唯尔科学出版社·Zbl 0443.03021号 [51] Malatesta，L.（2011）。对范畴理论的集合理论基础提出了一些建议。Rivista Italiana di Filosfia Analitica Junior，2（2），41-58·Zbl 1298.18003号 [52] 马奎斯·J·P（1995）。范畴理论与数学基础：哲学发掘。合成，103（3），421-447·Zbl 1058.00505号 ·doi:10.1007/BF01089735 [53] Marquis，J.-P.（2009年）。从几何角度来看。范畴理论的历史和哲学研究。牛津：斯普林格·Zbl 1165.18002号 [54] Mathias，A.R.D.（1992年）。布尔巴基的无知。《数学智能》，14（3），4-13·Zbl 0764.01009号 ·doi:10.1007/BF03025863 [55] Mathias，A.R.D.（2010年）。1949年布尔巴吉集合论中的无序对。《数学档案》，94（1），1-10·Zbl 1192.03027号 ·doi:10.1007/s00013-009-0006-7 [56] Mathias，A.R.D.（2012年）。希尔伯特、布尔巴吉和对逻辑的蔑视。A.R.D.Mathias的论文保存。https://www.dpmms.cam.ac.uk/ardm/·Zbl 1321.03005号 [57] Moore，G.（1982年）。泽梅洛的选择公理。它的起源、发展和影响。纽约：斯普林格·兹伯利0497.01005 ·doi:10.1007/978-1-4613-9478-5 [58] Peruzzi，A.（2006年）。范畴理论对21世纪哲学的意义。Axiomathes，第16页，共425-460页。 [59] Santamaria，F.（2008年）。Lógicas y categorías intermedias（拉丁语和中间语）。马提马提卡省。Nueva Serie，十五（1），56-69·Zbl 1256.03033号 [60] 舒尔曼（2008）。范畴理论的集合论。ArXiv:0810.1279v2[math.CT]2008年10月7日。 [61] 斯莱特，伯克希尔哈撒韦；Gabbay，D.（编辑）；Woods，J.（编辑），希尔伯特的艾司隆微积分及其成功者，385-448（2009），阿姆斯特丹·doi:10.1016/S1874-5857（09）70013-5 [62] 西尔宾斯基，W.和塔斯基，A.（1930）。不可接近的普通物品所有权。《数学基础》，第15期，第292-300页。 [63] 斯科勒姆，T。；Heijenoort，J.（编辑），关于公理化集合理论的一些评论，290-301（1922），Cambridge-Massachussets [64] 沃思，C.-P.（2002年）。希尔伯特ε的一种新的不定语义。在U.Egly&C.G.Fermüller（Eds.）中，使用分析表和相关方法进行自动推理。TABLEAUX 2002，LNAI 2381（第298-314页）。柏林-海德堡：施普林格出版社·Zbl 0764.01009号 [65] Wirth，C.-P.（2008）。希尔伯特ε作为不确定承诺选择的算子。应用逻辑杂志，6287-317·Zbl 1147.03031号 ·doi:10.1016/j.jal.2007.07.009 [66] Zach，R.（2004）。希尔伯特的“Verunglückter Beweis”，第一个ε定理，以及一致性证明。逻辑历史与哲学，25（2），79-94·Zbl 1069.03002号 ·网址：10.1080/01445340310001606930 [67] Zalamea，F.（2011）。在二十世纪，材料的巨大腐蚀。1940-1970年的《建筑材料》。《马提马提卡斯·博莱廷》，18（2），143-156。 [68] Zalamea，F.（2012）。当代数学的综合哲学。法尔茅斯：城市经济学·Zbl 1206.03009号 [69] Zermelo，E。；Ebbinghaus，H.（编辑）；弗雷泽，C.（编辑）；Kanamori，A.（编辑），《集合论基础研究I》，189-228（1908），柏林-弗赖堡 [70] Zermelo，E.（1930年）。关于集合的边界数和域。集合论基础的新研究。在H.Ebbinghaus、C.Fraser和A.Kanamori（编辑）、Ernest Zermelo中。作品集（第401-430页）。柏林-弗赖堡：施普林格。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。