Признаки формальных систем Понятие система определение примеры