>>458
>>457では1つの証明図に現れるシーケントの個数=ノードの個数になるね

>>459
だから証明図を木構造で捉える事が出来るんなら、グラフ理論の各種定理や議論を援用して証明図の構造や性質について分析ができるんじゃないの？
だからそんな議論があるなら教えて欲しいって>>453で聞いてる