démonstration.

démonstration. n.f., suite d'affirmations dont chacune est une conséquence des précédentes, de sorte que la « vérité « de la dernière (appelée conclusion) soit certaine dès que la vérité des premières (appelées hypothèses) est assurée. En mathématiques, les règles permettant la succession des conséquences sont soit les règles logiques du calcul propositionnel, soit des règles internes à la théorie dans laquelle on travaille. La démonstration confirme une vérité pressentie dans une proposition plutôt qu'elle ne découvre cette vérité.