Démonstration

En mathématiques et en logique, une démonstration est un ensemble structuré d’étapes correctes de raisonnement.