没有前提的一个证明表明它是系统的一条（）