Sformułowanie wszystkich twierdzeń składa się z dwóch części: to, co jest dane, nazywa się warunkiem, to, co należy udowodnić – wnioskiem twierdzenia.

Формулювання всіх теорем складається з двох частин: те, що дано, зветься умовою, те, що потрібно довести, – висновком теореми.

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

У теоремі Перша ознака рівності трикутників, умовою є те, що дві сторони та кут між ними одного трикутника дорівнюють двом сторонам та куту між ними другого трикутника, а висновком теореми є рівність трикутників.