在自然语言中加入了精确定义的术语、符号、公式和图表，描述科学活动的过程，表达和存储科学成果的语言是（)。