單項(xiàng)選擇題邏輯系統(tǒng)的四大定理不包括()。

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


您可能感興趣的試卷