Formalization is superior in accuracy and systematization,but negligent from actual life.

• 形式化注重精确性、系统性,但也比较远离现实生活;