多项选择题

数学的脑力劳动有()两种主要形式。

A.定理证明
B.数值计算
C.方法推理
D.逻辑结构