10.1.3 法則と公式


　式変形規則に，
  1. 数/量の実現方法（数/量の形状）に依らないもの（“法則"）と，
  2. 数/量の実現方法に依存するもの（“公式"）
の区別を立てるとしよう。

　例えば，自然数の加法に関する交換法則，結合法則は“法則”であり，これに対し，つぎのものは“公式”である：

ABCD＝A000＋B00＋C0＋D
ABCD×100＝ABCD00