20世纪，在关于数学基础的大讨论中形成了三大学派，其中“形式主义”的代表人物是（）。

20世纪，在关于数学基础的大讨论中形成了三大学派，其中“形式主义”的代表人物是（）。
A.罗素
B.布劳威尔
C.希尔伯特
D.歌德尔
正确答案：C