Relations

Ce contenu n'a pas de relations.

Citer ce document :

Rédaction n°054. Ensembles. Règles du raisonnement (Projet Cartan). Cartan, Henri, R054_iecnr062, accès le 24/04/2024, https://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