証明可能性論理GLは有限フレーム性がある