証明可能性述語論理QGL