二十世纪初三大数学学派中，形式主义学派的代表人物是（）

A.罗素

B.布劳威

C.希尔伯特

D.康托尔

正确答案：希尔伯特