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