证明性 可说明性 可以证明 可照明性 可否证性 可证明的 可反证性 不可证明 可见证性 可验证性 可证实性 可证伪性 不可证明性 不可约证明 可推断证明 有限性证明 可溶性明胶 充分性证明 证明可靠性 构造性证明 欺骗性证明 正确性证明 存在性证明 诈骗性证明 证明真实性 证明性证据 相容性证明 真实性证明 矛盾性证明 终止性证明 无关性证明 补充性证明 完备性证明 决策可证实性 契约性许可证 排他性许可证 不可能性证明 限制性许可证 进口许可证明 可证明的检验 相容性的证明 海关许可证明书 无效存在性证明 部分正确性证明 不可证明的命题 可证明为同一的 有限性证明理论 工程师认可证明 可证明为正确的 皮卡存在性证明 程序正确性证明 不可推断性证明 许可证的有效性 排他性许可证合同 运行不可靠性证书 非构造性存在证明 放射性工作许可证 程序设计逻辑性证明 承认许可证的有效性 不可抗力事故证明书 数据输入的可说明性 破产中可证明的债务 诉讼记录可证明的债务 证明的关联性和可采性 出口许可证修改证明书 用双重元件保证可靠性 发放利用发明成果许可证