理论是对抽象和设计内容进行严格定义及严密化论证的过程。本讲中主讲教师将其简化为“定义-性质（公理、定理）-证明”的过程。这个过程的具体工作内容是（）。(多选题)

理论是对抽象和设计内容进行严格定义及严密化论证的过程。本讲中主讲教师将其简化为“定义-性质（公理、定理）-证明”的过程。这个过程的具体工作内容是（）。(多选题)

A.将抽象形态区分出概念，用数学语言进行严格定义

B.分析所定义概念的性质，形成公理

C.进一步分析相关的衍生的但重要的性质，形成定理

D.论证相关定理的正确性

点击查看答案