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

Propriétés

Catégories

Mots liés