Relations

  • Bourbaki's Diktat Congrès oecuménique de Pelvoux (25 juin - 8 juillet 1951) requiert ce document.
  • N°25 Compte rendu du Congrès oecuménique de Pelvoux (25 juin - 8 juillet 1951) discute ce document.
  • Bourbaki's Diktat, Congrès oecuménique de Pelvoux (25 juin - 8 juil. 1952) requiert ce document.
  • N°28, Compte rendu du Congrès de la motorisation de l'âne qui trotte, Pelvoux-le-Poet (25 juin-8 juil. 1952) discute ce document.
  • Ce document est l'état suivant de Rédaction n°139. Ensembles. Chapitre I (état 5).
  • Ce document se réfère à Rédaction n°064. Ensembles. Chapitre I. Logique mathématique (état 4).
  • Citer ce document :

    Rédaction n°147. Ensembles. Chapitre I. Description de la mathématique formelle (état 6). Dixmier, Jacques, R147_nbr049, accès le 20/08/2019, http://archives-bourbaki.ahp-numerique.fr/items/show/556

    Description

    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é.

    Auteur

    Dixmier, Jacques