O propoziţie matematică al cărei adevăr se demonstrează se numeşte .
Demonstraţia teoremei este un şir de bazate pe axiome, teoreme şi proprietăţi
(deja demonstrate).
Pentru a demonstra că o propoziţie nu este adevărată, este suficient să găsim un exemplu
(numit ) care contrazice propoziţia.
