单项选择题

A.微分几何
B.数学机械化
C.拓扑学
D.集合论