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.
Certains théorèmes sont triviaux, ils découlent directement des propositions.