démonstration formelle

concept séquence finie de propositions dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes