逻辑系统的四大定理不包括()。
A:一致性定理
B:有效性定理
C:可靠性定理
D:不完全性定理
出自:哲学