Introduction to the translation of Claude Chevalley’s (tentative) Introduction to Bourbaki’s Théorie des ensembles

Jean-Pierre Marquis; Frédéric Patras

Introduction to the translation of Claude Chevalley’s (tentative) Introduction to Bourbaki’s Théorie des ensembles

Jean-Pierre Marquis 🆔 0000-0002-0501-540X

Abstract

We publish, in this special issue of the Annals of Mathematics and Philosophy devoted to the notion of proof, an English translation of Bourbaki’s Rédaction N. 066, a tentative introduction to the Théorie des ensembles written around 1948 by Claude Chevalley. This introduction situates the text: its author, the Bourbaki collective and its long effort to axiomatise abstract structures, and what makes this redaction stand out — its philosophical reflection on mathematical knowledge, organised around the idea of proof, and its metamathematical stance.

Keywords Bourbaki Chevalley set theory foundations of mathematics proof truth and meaning metamathematics axiomatic method formalism structuralism

Cite this article

Marquis, J., & Patras, F. (2025). Introduction to the translation of Claude Chevalley’s (tentative) Introduction to Bourbaki’s Théorie des ensembles. M×Φ — Annals of Mathematics and Philosophy, 3(2), online version, 5 p.

Marquis, Jean-Pierre, and Frédéric Patras. “Introduction to the translation of Claude Chevalley’s (tentative) Introduction to Bourbaki’s Théorie des ensembles.” M×Φ — Annals of Mathematics and Philosophy 3, no. 2 (2025), online version, 5 p.

Marquis, Jean-Pierre, and Frédéric Patras. “Introduction to the translation of Claude Chevalley’s (tentative) Introduction to Bourbaki’s Théorie des ensembles.” M×Φ — Annals of Mathematics and Philosophy, vol. 3, no. 2, 2025, online version, 5 p.

@article{Marquis2025,
  title = {{Introduction to the translation of Claude Chevalley’s (tentative) Introduction to Bourbaki’s Théorie des ensembles}},
  author = {Jean-Pierre Marquis and Frédéric Patras},
  journal = {M×Φ — Annals of Mathematics and Philosophy},
  volume = {3},
  number = {2},
  year = {2025},
  language = {en},
  keywords = {Bourbaki, Chevalley, set theory, foundations of mathematics, proof, truth and meaning, metamathematics, axiomatic method, formalism, structuralism},
  url = {https://www.mxphi.com/all-issues/volume-iii-number-2-2025/introduction-translation-chevalley/},
  note = {Online version, 5 p. — License: CC BY-ND 4.0},
}

TY  - JOUR
AU  - Jean-Pierre Marquis
AU  - Frédéric Patras
TI  - Introduction to the translation of Claude Chevalley’s (tentative) Introduction to Bourbaki’s Théorie des ensembles
JO  - M×Φ — Annals of Mathematics and Philosophy
JF  - M×Φ — Annals of Mathematics and Philosophy
VL  - 3
IS  - 2
PY  - 2025
LA  - en
KW  - Bourbaki
KW  - Chevalley
KW  - set theory
KW  - foundations of mathematics
KW  - proof
KW  - truth and meaning
KW  - metamathematics
KW  - axiomatic method
KW  - formalism
KW  - structuralism
UR  - https://www.mxphi.com/all-issues/volume-iii-number-2-2025/introduction-translation-chevalley/
N1  - Online version, 5 p. — License: CC BY-ND 4.0
ER  -

Copied!

↓ Download PDF 1 downloads