多项选择题

A.高次代数方程的根式可解性
B.欧几里得第五公设的可证性
C.公理系统的相容性
D.微积分基础的严格性