théorème [Grec : theôreîn, observer] (T) :

Proposition vraie, démontrée au sein d'une théorie déductive.

"L'addition dans est commutative" est un théorème.
Théorème d'Euclide pour la géométrie dans l'espace : par un point donné, il passe une et une seule droite parallèle à une droite donnée.