- 481 名前：470 mailto:sage [2005/05/30(月) 22:15:33 ]
- ところが、ε公理 (＊) を仮定するということは、
自由変数 x に対し、Ｐ(x) ├ Ｑ(x) と Ｑ(x) ├ Ｐ(x) が成り立てば ├ (εxＰ) = (εxＱ)
という推論規則を仮定することに他ならず、これは等号の導入規則の形をしていて、言い換え
ると等号の導入規則が２種類に増えたことを意味する。
ところが、上に挙げた (= 消去) というのは、これら２個の導入規則の組とは、
上に説明した意味では“対”になっていない。ここがポイントである。
