十一、广义相对论的严格表述