Titre :
Rédaction n°139. Ensembles. Chapitre I (état 5)
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.
Type :
Texte dactylographié
Identifiant :
R139_nbr042
Numéro :
139
Taille du fichier :
83
Histoire archivistique :
Cet exemplaire était initialement conservé dans le fonds de l'association Bourbaki à l'ENS. Il a fait l'objet d'un dépôt aux Archives de l'Académie des sciences en 2007.
Note :
Le document porte la mention "archives, juillet 1950, Chevalley".
]]>