定义、推演、验证

保留思考与实践的方法框架，等待真实内容。