Up
2.3.5 原初的代入規則
つぎの形の代入規則を，“原初的”と称することにする：
記号列
φ
と，
φ
の代入枠
ｒ＝{(ξ
1
,α
1
),････,(ξ
n
,α
n
)}
に対し，
φ
のｒによる代入は，代入
｛ξ
1
→α
1
,････,ξ
n
→α
n
｝