7.2 作为语言的约定的数学