Genzten流証明図
#証明図 #証明図の流儀
要するにシークエント計算で出来る証明木のことを指す．
Gerhard Gentzenによる．