シークエント計算体系G1
Gentzenのオリジナルの証明体系$ \bf LK,LJをモダンにはこういうらしい？
直観主義論理の体系は$ \bf G1i，古典論理の体系は$ \bf G1cと表記する．
より改善された体系は$ \bf G3という．シークエント計算体系G3