Propoziţiile matematice adevărate care se admit fără demonstraţii se numesc .
O propoziţie matematică al cărei adevăr se demonstrează se numeşte .
O teoremă poate fi enunţată astfel: „Dacă I, atunci C”.
Propoziţia I se numeşte teoremei, iar C – teoremei.
Schimbând cu locurile ipoteza şi concluzia teoremei, obţinem o nouă propoziţie, numită
teoremei date.
