La dérivation d'un théorème est souvent interprétée comme une preuve de la vérité de l'expression résultante, mais différents systèmes déductifs peuvent donner d'autres interprétations, selon la signification des règles de dérivation.
Un théorème est une idée éprouvée en mathématiques.