Énoncé déjà établi et qui constitue une base de référence dans la démonstration d'une nouvelle
proposition.
Exemples
Les définitions, les
axiomes et les
théorèmes associés à une théorie peuvent être considérés comme des hypothèses dans la démonstration d'une nouvelle propriété.
