期刊
SYNTHESE
卷 191, 期 17, 页码 4069-4098出版社
SPRINGER
DOI: 10.1007/s11229-014-0515-1
关键词
Bourbaki; Set theory; Axiomatic system; Grothendieck; Category theory
资金
- COLCIENCIAS [1106-521-28616]
- Universidad del Valle
In this paper we study the axiomatic system proposed by Bourbaki for the Theory of Sets in the Elements de Mathematique. We begin by examining the role played by the sign tau in the framework of its formal logical theory and then we show that the system of axioms for set theory is equivalent to Zermelo-Fraenkel system with the axiom of choice but without the axiom of foundation. Moreover, we study Grothendieck's proposal of adding to Bourbaki's system the axiom of universes for the purpose of considering the theory of categories. In this regard, we make some historical and epistemological remarks that could explain the conservative attitude of the Group.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据