1. Властивість або стан формалізованого, тобто такого, що виражено у строгій, чітко визначеній формі, часто з використанням символів, знаків або математичних виразів, що дозволяє однозначне тлумачення та логічний аналіз.
2. Ступінь або міра представлення знань, процесів, систем або теорій за допомогою формальної мови (наприклад, логіки, математики), що усуває неоднозначності природної мови та забезпечує можливість автоматизованої обробки.