Rédaction n°048. Ensembles. Fascicule de résultats (Dieudonné), état 2
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fascicule+de+r%C3%A9sultats+%28ensembles%29">fascicule de résultats (ensembles)</a>
Introduction : objet du présent fascicule. Puis fascicule proprement dit. § 1. Eléments et parties d'un ensemble. § 2. la notion de fonction. § 3. Produit de plusieurs ensembles. Correspondances. § 4. Réunion, intersection, produit d'une famille d'ensembles. Les pages 26 à 36 sont manquantes. § 7. Puissances, ensembles dénombrables. § 8. Echelles typiques et structures.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dieudonn%C3%A9%2C+Jean">Dieudonné, Jean</a>
application/pdf
Texte dactylographié
R048_iecnr057
Rédaction n°049. Ensembles. Fascicule de résultats (Delsarte), état 1
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fascicule+de+r%C3%A9sultats+%28ensembles%29">fascicule de résultats (ensembles)</a>
Introduction : notions intuitives de collection et de continuum. I. Notions se rattachant à la considération d'un seul ensemble. II. Notions se rattachant à la considération simultanée de deux ou d'un petit nombre d'ensembles. III. Notions résultant de la considération simultanée d'une infinité d'ensembles.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Delsarte%2C+Jean+">Delsarte, Jean </a>
application/pdf
Texte dactylographié
R049_iecnr058
Rédaction n°050. Ensembles. Eléments de la théorie des ensembles (état 1)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structure+%CE%B5+%28appartenance%29">structure ε (appartenance)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structure+U+%28r%C3%A9union%29">structure U (réunion)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
Prolégomènes sur la notion de théorie mathématique (Introduction au chapitre, vu comme une "préface à toute théorie mathématique"). I.1. Les ensembles fondamentaux ; l'appartenance; la structure ε. I.2. Propriétés d'un éléments ; parties d'un fondamental. I.3. Parties complémentaires. 1.4. Structures induites ; induction des structures. II.1. L'ensemble des parties d'un fondamental. II.2. La réunion et l'intersection (associativité, distributivité, opération complémentaire et formules en dualité). II.3. La relation "contenu dans". II.4. La structure ε et la structure U. III.1. Couples ; produits ; produits de structures. III.2. Relations. III.3. Fonctions d'ensemble ; correspondances. V.1. Isomorphie ; transport de structure. VI.1. Relations d'équivalence ; partage en classes. VI.2. Ensemble quotient ; identification. VI.3. Nouveaux compléments à la structure U. VII.1. Produit quelconque d'ensembles. VIII.1. Résumé.
application/pdf
Texte dactylographié avec notes manuscrites
R050_iecnr059
Rédaction n°051. Ensembles. Rédaction Cartan initiale (dactylographiée)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=somme+%28d%27ensembles%29">somme (d'ensembles)</a>
§ 1. Ensembles. § 2. Fonctions. § 3. Sous-ensembles d'un ensemble fondamental. § 4. Opérations sur les sous-ensembles d'un ensemble fondamental. § 5. Produit de deux ensembles. § 6. Produit généralisé. § 7. Lemme de décomposition. § 8. Somme d'ensembles.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Cartan%2C+Henri">Cartan, Henri</a>
delms006
application/pdf
Texte dactylographié
R051_hcr001
Rédaction n°051. Ensembles. Rédaction Cartan initiale (manuscrite)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=somme+%28d%27ensembles%29">somme (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=nombres+cardinaux">nombres cardinaux</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=puissance+%28ensembles%29">puissance (ensembles)</a>
Il s'agit d'une version manuscrite de la rédaction 51. § 1. Ensembles. § 2. Fonctions. § 3. Sous-ensembles d'un ensemble fondamental. § 4. Opérations sur les sous-ensembles d'un ensemble fondamental. § 5. Produit de deux ensembles. § 6. Produit généralisé. § 7. Lemme de décomposition. § 8. Somme d'ensembles. § 9. Nombres cardinaux. Comparaison de puissances [porte la mention "à enlever"].
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Cartan%2C+Henri">Cartan, Henri</a>
1935-12-05
R051_hcr001
application/pdf
Texte manuscrit avec notes
R051_delms006
Rédaction n°052. Ensembles. Chapitre II : puissance des ensembles (état 1bis)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=puissance+%28ensembles%29">puissance (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+ordonn%C3%A9s">ensembles ordonnés</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+bien+ordonn%C3%A9s">ensembles bien ordonnés</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=entiers+naturels">entiers naturels</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+finis">ensembles finis</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+d%C3%A9nombrables">ensembles dénombrables</a>
I.1. Ensembles de même puissance. II.1. Ensembles ordonnés. II.2. Ensembles bien ordonnés. III.1. Nombres entiers naturels. III.2. Ensembles finis. III.3. Addition des entiers naturels (puis soustraction, multiplication et exponentiation). IV.1. Ensembles dénombrables. IV.2. Suites. V.1. Théorème de Zermelo. Applications. VI.1. Caractérisation des ensembles finis. Permutations.
application/pdf
Texte dactylographié
R052_iecnr060
Rédaction n°053. Ensembles. Chapitre I, quelques éléments de syntaxe et de logique. Chapitre II, ensembles et fonctions (état 1bis)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=pr%C3%A9dicats">prédicats</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=types+%28logique%29">types (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
Chapitre I. Quelques éléments de syntaxe et de logique. § 1. Les opérations syntactiques élémentaires. § 2. Prédicats et relations. § 3. La notion de types. Les couples. § 4. L'égalité. § 5. La notion générale de théorie mathématique. Chapitre II. Ensembles et fonctions. § 1. Le langage de la théorie des ensembles. § 2. Le langage de la théorie des fonctions.
application/pdf
Texte dactylographié
R053_iecnr061
Rédaction n°054. Ensembles. Règles du raisonnement (Projet Cartan)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
Constructions de relations. Tableau d'équivalences syntaxiques. Définition des relations vraies, ou identités logiques. Les théories avec axiomes. Les théories avec axiomes et hypothèses. Théories non contradictoires.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Cartan%2C+Henri">Cartan, Henri</a>
application/pdf
Texte dactylographié
R054_iecnr062
Rédaction n°055. Ensembles. Contre-rédaction des chapitres I et II (état 2 bis)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=types+%28logique%29">types (logique)</a>
Chapitre I. § 1. Comme la rédaction Weil à quelques détails de forme près. § 2. Les objets mathématiques et le calcul des relations. Chapitre II. Ensembles et fonctions. § 1. La relation d'égalité et les relations fonctionnelles. § 2. Type des parties et relation d'appartenance. § 3. Sous-types et types produits. § 4. Correspondances, fonctions, applications.
application/pdf
Texte dactylographié avec notes manuscrites
R055_iecnr063
Rédaction n°056. Ensembles. Chapitres 1 à 5, Weil (état 2)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=puissance+%28ensembles%29">puissance (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+finis">ensembles finis</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+d%C3%A9nombrables">ensembles dénombrables</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+ordonn%C3%A9s">ensembles ordonnés</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+bien+ordonn%C3%A9s">ensembles bien ordonnés</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
Avertissement à tout Bourbaki.<br /><br /> <strong>Chapitre I</strong>. Du raisonnement mathématique. § 1. Analyse d'une démonstration. Les propositions. § 2. Structure de la proposition. Propriétés, relations, variables. § 3. Conseils sur la rédaction des travaux mathématiques (et de quelques autres).<br /><br /> <strong>Chapitre II</strong>. Théorie des ensembles. § 1. Ensembles; calculs sur les ensembles; l'égalité. § 2. Relations, produits de types. § 3. Fonctions, correspondances. § 4. Réunions et intersections générales. § 5. Produits généraux; axiome du choix. § 6. Partage en classes; relations d'équivalence.<br /><br /> <strong>Chapitre III</strong>. Puissances; ensembles finis et dénombrables. § 1. Puissance d'un ensemble. § 2. Ensembles finis, nombres entiers. § 3. Ensembles dénombrables. <br /><br /><strong>Chapitre IV</strong>. Ensembles ordonnés. § 1. Ensembles ordonnés; propriétés générales. § 2. Le théorème de Zorn-Cartan. § 3. Ensembles bien ordonnés. <br /><br /><strong>Chapitre V</strong>. Théories et structures. § 1. Structure d'un ensemble fondamental. § 2. Extension à plusieurs ensembles fondamentaux.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Weil%2C+Andr%C3%A9">Weil, André</a>
awms001
application/pdf
Texte dactylographié
R056_iecnr065
Rédaction n°056. Ensembles. Chapitres I et II, rédaction Weil avec des notes de Possel
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
Il s'agit d'une version annotée des deux premiers chapitres de la rédaction n°56.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Weil%2C+Andr%C3%A9">Weil, André</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=de+Possel%2C+Ren%C3%A9">de Possel, René</a>
R056_iecnr065
application/pdf
Texte dactylographié avec notes manuscrites
awms001
Rédaction n°057. Ensembles. Chapitres I et II (état 3)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
Chapitre I. Logique mathématique. § 1. La formation des relations. § 2. Les relations vraies. § 3. Théories et axiomes. Chapitre II. Théorie des ensembles abstraits. § 1. La relation d'égalité et les symboles fonctionnels. § 2. La relation d'appartenance. § 3. Produit de deux ensembles. § 4. Fonctions. § 5. Réunion, intersection, produit d'une famille d'ensembles. § 6. Relations d'équivalence. Ensembles quotients. § 7. Structures.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dieudonn%C3%A9%2C+Jean">Dieudonné, Jean</a>
application/pdf
Texte dactylographié
R057_iecnr066
Rédaction n°058. Ensembles. Introduction, Dieudonné (état 3)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
§ 1. Analyse d'une démonstration. Les propositions. § 2. Structure de la proposition mathématique. Propriétés, relations, variables. § 3. Définitions et axiomes. § 4. Les objets mathématiques et la théorie des ensembles.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dieudonn%C3%A9%2C+Jean">Dieudonné, Jean</a>
application/pdf
Texte dactylographié
R058_iecnr067
Rédaction n°059. Ensembles. Chapitre IV, nombres cardinaux et entiers, Chevalley (état 4)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=nombres+cardinaux">nombres cardinaux</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=entiers+naturels">entiers naturels</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+finis">ensembles finis</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+d%C3%A9nombrables">ensembles dénombrables</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+ordonn%C3%A9s+finis">ensembles ordonnés finis</a>
I. Nombres cardinaux. 1. Définition des cardinaux. 2. Opérations sur les nombres cardinaux. II. Entiers naturels. Ensembles finis. 1. Le principe de récurrence. 2. Opérations sur les entiers naturels et les ensembles finis. 3. Division euclidienne. 4. Numération. 5. Analyse combinatoire. III. Ensembles infinis. 1. L'ensemble des entiers naturels. 2. Calcul sur des cardinaux infinis. 3. Ensembles dénombrables. IV. Ensembles finis et structures d'ordre. 1. Ensembles ordonnés finis. 2. Ensembles filtrants et réticulés. 3. Propriétés de caractère fini.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Chevalley%2C+Claude">Chevalley, Claude</a>
application/pdf
Texte dactylographié
R059_iecnr068
Rédaction n°060. Ensembles. Chapitre III. Ensembles bien ordonnés, Chevalley (état 4)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+bien+ordonn%C3%A9s">ensembles bien ordonnés</a>
1. Segments. 2. Ordinaux. 3. Le théorème de Zermelo. 4. Remarques sur l'emploi de l'axiome du choix.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Chevalley%2C+Claude">Chevalley, Claude</a>
application/pdf
R060_iecnr069
Rédaction n°061. Ensembles. Chapitre IV. Ensembles ordonnés (état 4 ou 3)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+ordonn%C3%A9s">ensembles ordonnés</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+bien+ordonn%C3%A9s">ensembles bien ordonnés</a>
§ 1. Structures d'ordre. § 2. Le théorème de Zorn et ses applications à la théorie des puissances. § 3. Ensembles bien ordonnés.
application/pdf
Texte dactylographié
R061_iecnr070
Rédaction n°062. Ensembles. Chapitre III. Puissances, ensembles finis, ensembles dénombrables (état 4 ou 3)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=puissance+%28ensembles%29">puissance (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+finis">ensembles finis</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=entiers+naturels">entiers naturels</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+d%C3%A9nombrables">ensembles dénombrables</a>
§ 1. Ensembles équipotents. Puissances. § 2. Ensembles finis. § 3. Entiers naturels, ensembles dénombrables.
application/pdf
Texte dactylographié
R062_iecnr071
Rédaction n°063. Ensembles. Chapitre II. Théorie des ensembles abstraits (état 4)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
§ 1. La relation d'égalité et les symboles fonctionnels. § 2. La relation de couplage. § 3. La relation d'appartenance. Le rédacteur précise que les "§§ 4 à 7 du chap. II n'ont pas été rédigés à nouveau en Etat 4", conformément aux décisions du Congrès d'avril 1948.
application/pdf
Texte dactylographié
R063_iecnr072
Rédaction n°064. Ensembles. Chapitre I. Logique mathématique (état 4)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
§ 1. La formation des relations. § 2. Les relations vraies. § 3. Démonstrations et théories.
application/pdf
Texte dactylographié
R064_iecnr073
Rédaction n°065. Ensembles. Le formalisme de Gödel
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensemble+constructible">ensemble constructible</a>
L'auteur dégage trois notions primitives : ensemble, classe et appartenance, qui le conduisent à formuler une série d'axiomes. Il s'appuie sur ces axiomes pour construire la classe des nombres ordinaux. Il aborde pour finir la notion d'ensemble constructible.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Chevalley%2C+Claude">Chevalley, Claude</a>
application/pdf
Texte dactylographié
R065_iecnr074
Rédaction n°066. Ensembles. Introduction (Chevalley)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=math%C3%A9matique+formelle">mathématique formelle</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=philosophie+des+math%C3%A9matiques">philosophie des mathématiques</a>
Il s'agit d'une nouvelle version de l'introduction au Livre de Théorie des ensembles et, partant, aux Eléments de mathématique. Le rédacteur s'interroge sur la notion de mathématique formelle, sur l'unité des mathématiques, tout en multipliant les parallèles avec la littérature (Queneau, Blanchot, etc.).
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Chevalley%2C+Claude">Chevalley, Claude</a>
application/pdf
Texte dactylographié
R066_awr002
Rédaction n°120. Ensembles. Chapitre II. Théorie des ensembles abstraits (état 3)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
§ 1. La relation d'égalité et les symboles fonctionnels. § 2. La relation d'appartenance. § 3. Produit de deux ensembles. § 4. Fonctions. § 5. Réunion, intersection, produit d'une famille d'ensembles. § 6. Relations d'équivalence, ensembles quotients. § 7. Structures.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dieudonn%C3%A9%2C+Jean">Dieudonné, Jean</a>
application/pdf
Texte dactylographié
R120_nbr027
Rédaction n°123. Ensembles. Axiomes de familles d'ensembles
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+%28famille+d%27%29">ensembles (famille d')</a>
Le rédacteur précise comment il souhaiterait que débute le paragraphe sur les familles d'ensembles. Pour ce faire, il énonce une série d'axiomes.
application/pdf
Texte dactylographié
R123_nbr030
Rédaction n°132. Ensembles. Chapitre III. Projet de § préliminaire
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=types+%28logique%29">types (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
Objectif de ce § : permettre la publication du chapitre III avant les chapitres I et II. Voici les parties de ce paragraphe introductif : 1. Relations entre objets mathématiques. 2. Fonctions et famille d'ensembles. 3. Entiers énumérés. 4. L'ensemble vide.
application/pdf
Texte dactylographié
R132_nbr038
Rédaction n°137. Ensembles. Chapitre III. Structures (état 5)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
§ 1. Echelles d'ensembles. § 2. Squelettes typiques. § 3. Incarnations d'un squelette typique. § 4. Théories structurales. § 5. Structures.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Chevalley%2C+Claude">Chevalley, Claude</a>
application/pdf
Texte dactylographié
R137_nbr040
Rédaction n°138. Ensembles. Chapitre II (état 5)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+%28famille+d%27%29">ensembles (famille d')</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
Le chapitre est précédé de commentaires, mentionnant le chapitre III sur les structures. Voici le plan du chapitre II : § 1. l'axiome d'extensionalité; § 2. l'axiome du couple; § 3. l'axiome de la sélection; § 4. correspondances; § 5. fonctions; § 6. familles d'ensembles; § 7. relations d'équivalence; § 8. recouvrements, partitions; § 8 [9?]. l'axiome de l'ensemble des parties; § 9 [10?] produits de familles d'ensembles; § 10 [11?] remarques sur les définitions de la théorie des ensembles.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Chevalley%2C+Claude">Chevalley, Claude</a>
application/pdf
Texte dactylographié
R138_nbr041
Rédaction n°139. Ensembles. Chapitre I (état 5)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=types+%28logique%29">types (logique)</a>
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.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Chevalley%2C+Claude">Chevalley, Claude</a>
application/pdf
Texte dactylographié
R139_nbr042
Rédaction n°147. Ensembles. Chapitre I. Description de la mathématique formelle (état 6)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
Le présent document s'ouvre sur des commentaires suivis d'un sommaire. L'auteur se situe par rapport aux états 5 et 4 du chapitre I. Vient ensuite la rédaction à proprement parler. § 1. Termes et relations. § 2. Théorèmes. § 3. Théories logiques. § 4. Théories quantifiées. L'inclusion et l'égalité.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dixmier%2C+Jacques">Dixmier, Jacques</a>
application/pdf
Texte dactylographié
R147_nbr049
Rédaction n°154. Ensembles. Introduction (état 3 ou 2)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=math%C3%A9matique+formelle">mathématique formelle</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=philosophie+des+math%C3%A9matiques">philosophie des mathématiques</a>
L'auteur insiste sur l'unicité de la science mathématique, avant d'aborder les finalités et le plan du livre de théorie des ensembles.
awms003
application/pdf
Texte dactylographié
R154_nbr055
Rédaction n°154. Ensembles. Introduction au Livre I (état 2 : Nunke)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=math%C3%A9matique+formelle">mathématique formelle</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=philosophie+des+math%C3%A9matiques">philosophie des mathématiques</a>
Introduction aux « Éléments de mathématique » en général et au Livre I, sur la Théorie des ensembles, plus particulièrement. Frappe annotée de la rédaction n°154.
R154_nbr055
application/pdf
Texte dactylographié avec notes manuscrites
awms003
Rédaction n°160. Ensembles. Chapitre II. (état 6)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
Commentaires. § 1. Relations collectivisantes. § 2. Couples. § 3. Correspondances. § 4. Réunion et intersection des familles d'ensembles. § 5. Produit de familles d'ensembles. § 6. Relations d'équivalence.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dixmier%2C+Jacques">Dixmier, Jacques</a>
1952-02
application/pdf
Texte dactylographié
R160_nbr062
Rédaction n°170. Ensembles. Chapitre III. Ensembles ordonnés, cardinaux, entiers (état 5)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+ordonn%C3%A9s">ensembles ordonnés</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+bien+ordonn%C3%A9s">ensembles bien ordonnés</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=puissance+%28ensembles%29">puissance (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=nombres+cardinaux">nombres cardinaux</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=entiers+naturels">entiers naturels</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+finis">ensembles finis</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+d%C3%A9nombrables">ensembles dénombrables</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+ordonn%C3%A9s+finis">ensembles ordonnés finis</a>
L'auteur précise en commentaire s'être conformé aux décisions du congrès d'octobre 1949. § 1. Relations d'ordre. Ensembles ordonnés. § 2. Ensembles bien ordonnés. Ordinaux. § 3. Ensembles équipotents. Cardinaux. § 4. Entiers naturels. Ensembles finis. § 5. Ensembles infinis. § 6. Ensembles finis et relations d'ordre.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Samuel%2C+Pierre">Samuel, Pierre</a>
1952-08
application/pdf
Texte dactylographié
R170_nbr071
Rédaction n°172. Ensembles. Chapitre II, §§ 3 et 6 (état 8)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
§ 3. Correspondances. 1. Graphes et correspondances. 2. Correspondance réciproque d'une correspondance. 3. Composée de deux correspondances. 4. Fonctions. 5. Définition d'une fonction par un terme. 6. Composée de deux fonctions. 7. Fonctions de deux arguments. § 6. Relations d'équivalence. 1. Définition d'une relation d'équivalence. 2. Classes d'équivalence; ensemble quotient. 3. Relations compatibles avec une relation d'équivalence. 4. Parties saturées. 5. Applications compatibles avec des relations d'équivalence. 6. Image réciproque d'une relation d'équivalence; relation d'équivalence induite. 7. Quotients de relations d'équivalence. 8. Produit de deux relations d'équivalence.
application/pdf
Texte dactylographié
R172_nbr075
Rédaction n°180. Ensembles. Chapitre IV. Structures (état 7 ?)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=applications+universelles">applications universelles</a>
Sommaire et commentaires, puis rédaction à proprement parler. § 1. Structures et homomorphismes. § 2. Structures dérivées. Appendice I : Relations structurantes et termes structurants. Appendice II : applications universelles. Le rédacteur ne voit rien d'essentiel à modifier concernant ce second appendice. .
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dieudonn%C3%A9%2C+Jean">Dieudonné, Jean</a>
application/pdf
Texte dactylographié
R180_nbr083
Rédaction n°188. Ensembles. Chapitre IV. Structures (état 8 ?)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=applications+universelles">applications universelles</a>
Sommaire et commentaires. § 1. Structures et isomorphismes. § 2. Morphismes et structures dérivées. § 3. Applications universelles. Appendice : relations et termes transportables.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dieudonn%C3%A9%2C+Jean">Dieudonné, Jean</a>
1953-09
application/pdf
Texte dactylographié
R188_nbr091
Rédaction n°189. Ensembles. Chapitre III. Ensembles ordonnés, cardinaux, nombres entiers (état 6)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+ordonn%C3%A9s">ensembles ordonnés</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+bien+ordonn%C3%A9s">ensembles bien ordonnés</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=puissance+%28ensembles%29">puissance (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=nombres+cardinaux">nombres cardinaux</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=entiers+naturels">entiers naturels</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+finis">ensembles finis</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+d%C3%A9nombrables">ensembles dénombrables</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+ordonn%C3%A9s+finis">ensembles ordonnés finis</a>
§ 1. Relations d'ordre. Ensembles ordonnés. § 2. Ensembles bien ordonnés. § 3. Ensembles équipotents. Cardinaux. § 4. Entiers naturels. Ensembles finis. § 5. Ensembles infinis. § 6. Ensembles finis et relations d'ordre.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dieudonn%C3%A9%2C+Jean">Dieudonné, Jean</a>
application/pdf
Texte dactylographié
R189_nbr092
Rédaction n°196. Ensembles. Chapitre IV. Structures (état 9)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=applications+universelles">applications universelles</a>
Sommaire et commentaires. Puis rédaction à proprement parler. § 1. Structures et isomorphismes. § 2. Morphismes et structures dérivées. § 3. Applications universelles. Appendice : Critères de transportabilité.
application/pdf
Texte dactylographié
R196_nbr098
Rédaction n°207. Limites inductives et projectives
I. Partie "ensembliste".
§ 11. Applications : I :Limites inductives. § 12. Applications : II : Limites projectives.
II. Partie "morphique". n°4 IV : Limite projective de structure. n°6 III : Limite inductive de structures
Texte dactylographié
r207_iecl_bki12
Rédaction n°248. Modification au chapitre des structures. Chapitre IV. Structures.
§ 1. Structures et isomorphismes. § 2. Morphismes et structures dérivées. § 3. Applications universelles.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Samuel%2C+Pierre">Samuel, Pierre</a>
1956
application/pdf
Texte dactylographié
r248_iecl_bki01-3