Discussion:Théorie complète
Cet article est indexé par les projets Logique et Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Ébauche | Moyenne |  | Logique (discussion • critères • liste • stats • hist. • comité • stats vues) |
| Faible |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | |
Cet article comporte une liste de tâches suggérées :
Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Proposition (logique mathématique) ⇒ Quelques explications pour effectuer ces corrections. -- 9 janvier 2018 à 17:15 (CET)
Rallonger la liste des théories complètes ? modifier
Je pense qu'il serait bon d'allonger la liste des théories connues. Je pense en particulier à la théorie des algèbres de Boole, importantes en raison de son rôle en logique "classique", et, par conséquent, à la théorie des anneaux de Boole et des treillis booléens, qui présentent les algèbres de Boole de façon équivalente. — Le message qui précède, non signé, a été déposé par l'IP 92.184.124.145 (discuter), le 10 avril 2020 à 20:38 (CEST)