1. Набувати властивості аксіоми; ставати очевидним, беззаперечним твердженням, що не потребує доказів у межах певної теорії.
2. У логіці та математиці: перетворюватися на систему аксіом; ставати формалізованим за допомогою чітко визначених аксіом і правил виведення.