定义是揭示概念所反映的事物本质的较为简短而明确的命题.
定理就是根据定义和公理推导演绎出来的命题.
公理就是在一个理论系统中被默认为真的命题,而定理是根据公理或其他的真命题（定理）推导出来的真命题.