定义是揭示概念的逻辑方法