証明体系
列としての証明
Hilbert流演繹体系
木としての証明
自然演繹
シークエント計算
片側シークエント計算
/
Tait計算
メモ
列としての証明
，
木としての証明
という二項対立は
鈴木佑京; "ゲンツェンの洞察 ― 証明は列か, ツリーか？"
による．