Процес надання доказів, аргументів або обґрунтувань для підтвердження істинності якогось твердження, гіпотези чи факту.
У логіці та математиці: логічна процедура встановлення істинності певного твердження (теореми) шляхом послідовного виведення його з аксіом або вже доведених тверджень за допомогою правил дедукції.