多项选择题

以下关于公理系统的描述中,正确的有()。

A.公理之间应该相容
B.公理之间应该独立
C.公理需要证明
D.公理是数学理论正确性的前提