théorème
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- mathématiques
- Dernière mise à jour
Définition :
Formule d'une théorie axiomatique formalisée si elle résulte d'une démonstration à partir d'axiomes.
Note :
La notion de théorème, en logique moderne, est formelle : un théorème s'obtient à partir des axiomes d'un système par application des règles autorisées. Le théorème de la déduction est mal nommé, il s'agit d'un métathéorème. La notion de théorème ne dépend donc pas de l'interprétation, mais on appellera sain, ou adéquat, un système où tous les théorèmes sont valides.
Terme privilégié :
- théorème n. m.
-
Du grec théoréma, objet d'étude.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- theorem