Твердження, істинність якого встановлюють за допомогою доведення, називають теоремою.

Tvrdenie, ktorého pravdivosť je potvrdená dôkazom, sa nazýva veta.

Приклад застосування терміна в українській мові

Якщо яку-небудь із цих теорем назвати прямою, то другу теорему називатимемо оберненою.