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.
Il existe d'autres théorèmes pour lesquels une preuve est connue, mais il n'est pas facile de l'écrire.