问答题

有效的证明,有两个条件:第一个叫逻辑的自洽。第二个叫()。

【参考答案】

前提为真