Процес надання доказів, аргументів або обґрунтувань для підтвердження істинності якогось твердження, теорії, гіпотези або факту; аргументація.
Процес логічного виведення, висновку або обґрунтування чогось на основі наявних даних, посилок або аксіом.
У математиці, логіці та інформатиці — формальна послідовність логічних кроків, що демонструє істинність теореми або правильність алгоритму.