Relations

Bourbaki

• Bourbaki's Diktat, Congrès de l'horizon, Royaumont (8-15 oct. 1950) requiert Ce contenu
• Tribu non numérotée, Compte-rendu du congrès de l'horizon, Royaumont (8-15 oct. 1950) discute Ce contenu
• Bourbaki's Diktat, Congrès de Nancy (28 jan.-3 fév. 1951) requiert Ce contenu
• N° 23 Compte rendu du Congrès de Nancy (27 jan. - 3 fév. 1951) discute Ce contenu
• Ce contenu 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 contenu

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