>>446
＞公理的集合論をシーケント計算でやる流儀は見たことない。

ヒルベルト流でやる流儀も見たこと無い。

ちなみにヒルベルト流というのは、命題論理では
（K）　　φ → (χ → φ)
（S)　　(φ → (χ → ψ)) → ((φ → χ) → (φ → ψ))
（対偶）(¬ψ → ¬φ)→(φ → ψ)
の３つを公理とし、推論規則としてモーダス・ポネンス、つまり
「φと(φ → ψ)からψを推論できる」のみを用いるものだが、
446はそれを承知で云ってるのか？