É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é.