証明可能性論理GLの完全性