多项选择题

命题的类型主要有()

A.公理
B.定理
C.经验概括
D.假设