wikiの「数式」の項目より

>数学における数式は、数・演算記号・不定元などの数学的な文字・記号(および約物)が
>一定の規則にのっとって結合された、文字列である。

>代数式とは加減乗除冪根の6種類の符号によって連結されている数式をいい、それ以外の式を超越式という。

>代数学において数式は「値」を指定することに利用できる(値はその式に現れる変数に割り当てられた値に依存してよい)。
>この「値」を決定する問題は、数式を構成する各記号に割り当てられた意味論に依って異なり、
>意味論の選択はその数式が属している文脈に依存して決まる。例えば、構文論的には同じ式 "1 + 2 × 3" でも、
>演算の優先順位が文脈によって異なれば、異なる値(この場合、7 かもしれないし 9 かもしれない)を持ち得る。