We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
On Bourbaki's axiomatic system for set theory.
- Authors
Anacona, Maribel; Arboleda, Luis; Pérez-Fernández, F.
- Abstract
In this paper we study the axiomatic system proposed by Bourbaki for the Theory of Sets in the Éléments de Mathématique. We begin by examining the role played by the sign $$\uptau $$ 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.
- Subjects
MATHEMATICAL logic; MATHEMATICS; ABSTRACT algebra; SET theory; AGGREGATED data
- Publication
Synthese, 2014, Vol 191, Issue 17, p4069
- ISSN
0039-7857
- Publication type
Article
- DOI
10.1007/s11229-014-0515-1