系统的形式化程度高低不一