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