多项选择题

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