1. Властивість або якість того, що можна вивести (логічно обґрунтувати, довести) з певних посилок, аксіом або фактів; логічна слідковість одного твердження з іншого.
2. У логіці та математиці — формальна характеристика твердження (формули), яка означає існування в даній системі висновку або доказу цього твердження з прийнятих аксіом або раніше доведених теорем за допомогою чинних правил перетворення.