Формальный (formal)  —

Выраженный на языке с ограниченным синтаксисом и определенной семантикой, основанной на установившихся математических понятиях [ ГОСТ Р ИСО/МЭК 15408-2008 ].
Яндекс.Метрика