意义的形式： 建模系统理论与符号学分析