全ての証明可能性述語についての証明可能性論理