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