窗口将在 5 秒后自动关闭.
a.
同义参见:
以上来源于:《英汉大辞典》
查看更多
可证的
通常,一个公式的演绎不含有任何假设的前提(非系统本身的公理)时,称该公式为可证的。参见deduction。
以上来源于:《英汉计算机技术大辞典》