Rédaction n°147. Ensembles. Chapitre I. Description de la mathématique formelle (état 6). Dixmier, Jacques, R147_nbr049, accès le 19/03/2024, 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é.