Discussion:Théorie complète
Rallonger la liste des théories complètes ?[modifier le code]
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)