Relations

  • Bourbaki's Diktat, Congrès de l'horizon, Royaumont (8-15 oct. 1950) requiert ce document.
  • Tribu non numérotée, Compte-rendu du congrès de l'horizon, Royaumont (8-15 oct. 1950) discute ce document.
  • Bourbaki's Diktat, Congrès de Nancy (28 jan.-3 fév. 1951) requiert ce document.
  • N° 23 Compte rendu du Congrès de Nancy (27 jan. - 3 fév. 1951) discute ce document.
  • Ce document est l'état suivant de Rédaction n°064. Ensembles. Chapitre I. Logique mathématique (état 4).
  • Rédaction n°147. Ensembles. Chapitre I. Description de la mathématique formelle (état 6) est l'état suivant de ce document.
  • Citer ce document :

    Rédaction n°139. Ensembles. Chapitre I (état 5). Chevalley, Claude, R139_nbr042, accès le 19/03/2024, http://archives-bourbaki.ahp-numerique.fr/items/show/548

    Description

    Le présent document débute par cinq pages de commentaires, motivant les choix faits par l'auteur. Vient ensuite la rédaction proprement dite. I. Règles formatives. II. Règles d'inférence. Théories. III. Premiers schémas d'axiomes. Le théorème de la déduction. IV. Certaines méthodes de démonstration. V. Disjonction, conjonction, équivalence. VI. Quantificateurs. VII. Types d'objets. VIII. L'égalité. IX. Equations.

    Auteur

    Chevalley, Claude