可靠性、和谐性与完全性 可靠性:P的内定理都是重言式 完全性:所有重言式都是P的内定理 和诸性:P无矛盾,即无a能使-和--o同时成立✖ : P ✗. : P ✗. : P , α ` α ` ¬α 2