形式化是一种()的思维方式。