Relations

Bourbaki

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 30/04/2024, https://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