Ответ Автор - tupaya90 представление какой-либо содержательной области в виде формальной системы или исчисления.