理论是对抽象和设计内容进行严格定义及严密化论证的过程。本讲中主讲教师将其简化为“定义-性质（公理、定理）-证明”的过程。这个过程的具体工作内容是（）。(多选题)
理论是对抽象和设计内容进行严格定义及严密化论证的过程。本讲中主讲教师将其简化为“定义-性质（公理、定理）-证明”的过程。这个过程的具体工作内容是（）。(多选题)
A.将抽象形态区分出概念，用数学语言进行严格定义
B.分析所定义概念的性质，形成公理
C.进一步分析相关的衍生的但重要的性质，形成定理
D.论证相关定理的正确性
正确答案：将抽象形态区分出概念，用数学语言进行严格定义；分析所定义概念的性质，形成公理；进一步分析相关的衍生的但重要的性质，形成定理；论证相关定理的正确性