单项选择题

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