10.1.2 計算
数/量の理論および数/量の実現の規則からは，式変形規則が導出される。
“計算”とは，式変形規則に従った一連の式変形（さらにはその行為）のことである。