单项选择题

1920年,德国希尔佰特创立()。

A.分析论
B.证明论
C.排队论