单项选择题

A、数学家们在集合论中发现了逻辑矛盾,从而导致了数学发展史上的第三次危机;
B、为了消除悖论,奠定更加牢固的数学基础,20世纪初,逐步形成了关于数学基础研究的逻辑主义、直觉主义和形式主义三大流派;
C、形式主义流派的代表人物希尔伯特在数学基础的研究中提出了所谓的“希尔伯特纲领”;
D、“希尔伯特纲领”最终得到了成功实现;