利用符号语言研究数量、结构、变化以及空间模型等概念的自然科学是（ ）。