Существенность в формальной системе - это
Правило вывода в формальной системе - это
Предметная область, соответствующая формальной системе, называется
Правила построения новых объектов в формальной системе называются
Язык, порождаемый формальной грамматикой - это
В определении формальной грамматики отсутствует
Множество аксиом формальной системы
Правила формальной системы имеют вид
Формальность формальной системы означает
Дискретность формальной системы означает, что