Propoziţiile matematice  axiomeconcluziaipotezateoremăadevăratededucţii care se admit fără demonstraţii se numesc  teoremăaxiomededucţiiadevărateconcluziaipoteza.
O propoziţie matematică al cărei adevăr se demonstrează se numeşte  axiomeconcluziadeducţiiteoremăadevărateipoteza.
Demonstraţia teoremei este un şir de  ipotezaaxiomededucţiiteoremăadevărateconcluzia bazate pe axiome, teoreme şi proprietăţi
(deja demonstrate).
O teoremă poate fi enunţată astfel: „Dacă I, atunci C”.
Propoziţia I se numeşte  teoremăipotezadeducţiiaxiomeadevărateconcluzia teoremei, iar C –  axiomeadevărateteoremădeducţiiconcluziaipoteza teoremei.