逻辑系统的四大定理不包括（）。A、一致性定理B、有效性定理C、可靠性定理D、不完全性定理

逻辑系统的四大定理不包括（）。