The partial correctness and incompleteness of the system are corollaries of the condition.

• 该系统的部分正确性和不完备性也均是该条件的推论。