现代数学的发展和数学推动下的科学发展都受益于（）的数学语言体系的建立。

现代数学的发展和数学推动下的科学发展都受益于（）的数学语言体系的建立。
A.可感知
B.形式化
C.不可感知
D.流程化
正确答案：AB