多项选择题

A.形式性
B.公理性
C.完备性
D.无矛盾性
E.公理的独立性