On Bourbaki's axiomatic system for set theory

DOI10.1007/s11229-014-0515-1zbMath1310.03048DBLPjournals/synthese/AnaconaAP14OpenAlexW2084135983WikidataQ59594751 ScholiaQ59594751MaRDI QIDQ2263057

Luis Carlos Arboleda, Maribel Anacona, F. J. Pérez-Fernández

Publication date: 17 March 2015

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-014-0515-1

zbMATH Keywords

category theoryset theoryBourbakiaxiomatic systemGrothendieck

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Axiomatics of classical set theory and its fragments (03E30) Schools of mathematics (01A72)

Related Items (3)

The Two Sides of Modern Axiomatics: Dedekind and Peano, Hilbert and Bourbaki ⋮ MATHEMATICAL RIGOR AND PROOF ⋮ The structuralist mathematical style: Bourbaki as a case study

Uses Software

• gaia

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unordered pairs in the set theory of Bourbaki 1949
• Hilbert's epsilon as an operator of indefinite committed choice
• Set theory. An introduction to independence proofs
• Nicolas Bourbaki and the concept of mathematical structure
• The ignorance of Bourbaki
• Hilbert's \(\varepsilon{}\)-operator and classical logic
• Category theory and the foundations of mathematics: philosophical excavations.
• Tool and object. A history and philosophy of category theory
• From a geometrical point of view. A study of the history and philosophy of category theory
• Sur quelques points d'algèbre homologique
• Some proposals for the set-theoretic foundations of category theory
• Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs
• FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE
• HILBERT, BOURBAKI AND THE SCORNING OF LOGIC
• Foundations of mathematics for the working mathematician
• General Theory of Natural Equivalences

This page was built for publication: On Bourbaki's axiomatic system for set theory