Citer ce document :

Rédaction n°054. Ensembles. Règles du raisonnement (Projet Cartan). Cartan, Henri, R054_iecnr062, accès le 15/12/2019, http://archives-bourbaki.ahp-numerique.fr/items/show/463

Description

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.

Auteur

Cartan, Henri