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