>>178
そうではなくて、仮定を持つ証明の推論規則 (generalization) を
どのように定義するかということ。

仮定に含まれる自由変数は eigenvariable として用いてはいけない
という制限を加えても、仮定の個数が 0 個の場合は元の体系と同じ
になる。