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
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Démonstration_formelle
Lien Wikidata : https://www.wikidata.org/wiki/Q2762418