单项选择题

()破天荒地第一次分清了数学中“真”与“可证”是两个不同的概念。

A.塔斯基定理
B.哥德尔不完全性定理
C.希尔伯特定理
D.图灵机