理解源于数学，定义、定理和证明是数学的核心，也是计算学科理论形态的核心内容。下列关于“定义”的描述正确的有（）

多项选择题

理解源于数学，定义、定理和证明是数学的核心，也是计算学科理论形态的核心内容。下列关于“定义”的描述正确的有（）。

A.定义是被证明为真的数学命题
B.定义是蕴含在公理系统之中的概念和命题
C.定义不可用含混、隐晦或比喻性词语来表示
D.定义是对一种事物的本质特征或一个概念的内涵与外延确切而简要的说明