Rechercher des termes du glossaire (expressions régulières autorisées)
Théorème Auteur: Christian Jousselin

Un théorème est une vérité dans un système de déduction.