有效的证明，有两个条件：第一个叫逻辑的自洽。第二个叫（）。