|
われわれは，定理の導出──結果から見ると，定理の証明──を，テクスト生成と捉え，このときの規則を“推論規則”と見なした。このような推論規則は，テクスト
が生成されるという事実から φ⊃ψ を結論するものでなければならない。実際これが“演繹定理”というメタ(超越論的)定理で述べられていることである。そしてこのとき，一般化規則  は，φ⊃(∀ｘ)φ を定理と定めるものでなければならない。 しかしこれは通用しない──この意味で，“一般化定理”は“演繹定理”と両立しない。 例えば，文φと変項ｘに対し，つぎの推論が可能になって (∃ｘ)φ⊃φ が定理になってしまう（特に，(∃ｘ)φ⊃(∀ｘ)φ が定理となる)： 
(*)：一般化規則に演繹定理を適用して得られる定理 なお，われわれは sen ﾌ ¬¬sen を変形規則の筆頭に位置付ける。 |