找考题网-背景图
单项选择题

现代数学发展表明,数学全面形式化是:()

A. 完全可能的
B. 不可能的