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