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…

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…

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…

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