Up
3.4.1 簡約表現の導入
理論
T
＝(
G
,
H
,
U
,
U
)
G
＝(
N
Ｖ,
T
Ｖ,Ｐ,SEN) ，
U
＝(
S
,
D
)
において，通常“定義”の形で行なうところの簡約表現の導入──即ち，マクロ定義──は，
(1)
T
Ｖに記号を追加する；
(2) Ｐに規則を追加する；
(3)
D
に変形補助記号と変形規則を追加する；
という形で行なうことができる。
T
Ｖ，Ｐ，
D
のこの更新は，もちろん理論
T
の変更を意味する。しかし，それは同値な理論への変更であり，理論の本質的な変更ではない。そこで，簡約記号の導入による理論
T
の理論
T
′への変更に対しては，
《われわれが理論
T
としていたものは，はじめから
T
′のことであった》
と考えるようにし，理論
T
の更新とは考えないことにする。