单项选择题

逻辑系统的四大定理不包括()。

A、一致性定理
B、有效性定理
C、可靠性定理
D、不完全性定理