証明可能性論理GLのカット除去定理
#証明可能性論理GL