多项选择题

A.可以用文字语言来表达
B.是否具备事实支撑
C.可以用数学语言来表达
D.是否可以公理化