Assertion présumée vraie dont on recherche une démonstration

Proposition auxiliaire utilisée dans la démonstration d'un théorème ou d'une autre proposition

Assertion admise comme vraie sans démonstration au départ d'une théorie mathématique

Proposition découlant de façon relativement immédiate d'un théorème ou d'une autre proposition