Theory of Sets — Introduction

Claude Chevalley

Theory of Sets — Introduction

Abstract

English translation, by Jean-Pierre Marquis and Frédéric Patras, of N. Bourbaki’s Rédaction N. 066 — Livre I, Théorie des ensembles, Introduction, written around 1948 by Claude Chevalley (Archives Bourbaki, Donation André Weil, Archives de l’Académie des sciences, côte AWR 002, 34 p.). Organised around the idea of mathematical proof, this tentative introduction moves from the demand for the reader’s complete assent to its consequences for truth, meaning, the role of language, the axiomatic method and formalism.

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

Cite this article

Chevalley, C. (2025). Theory of Sets — Introduction. M×Φ — Annals of Mathematics and Philosophy, 3(2), online version, 24 p.

Chevalley, Claude. “Theory of Sets — Introduction.” M×Φ — Annals of Mathematics and Philosophy 3, no. 2 (2025), online version, 24 p.

Chevalley, Claude. “Theory of Sets — Introduction.” M×Φ — Annals of Mathematics and Philosophy, vol. 3, no. 2, 2025, online version, 24 p.

@article{Chevalley2025,
  title = {{Theory of Sets — Introduction}},
  author = {Claude Chevalley},
  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/theory-of-sets-introduction/},
  note = {Online version, 24 p. — License: CC BY-ND 4.0},
}

TY  - JOUR
AU  - Claude Chevalley
TI  - Theory of Sets — Introduction
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/theory-of-sets-introduction/
N1  - Online version, 24 p. — License: CC BY-ND 4.0
ER  -

Copied!

↓ Download PDF