Mot : lemme
Catégorie : N
Genre : Masculin
Définition : Proposition que l'on prend pour accordée.
Domaine : Logique