unproving
动词 v.
形容词 adj.
英文释义
动词 v.
- present participle and gerund of unprove
形容词 adj.
-
Not offering or not constituting proof.
— Let Z be a formula, and let C be a collection of formulas. […] We shall say that […] C is maximal Z-unproving if C is Z-unproving and C is not a proper subset of another Z-unproving set; […]
词源
词源 1
See the etymology of the corresponding lemma form.
词源 2
un- + proving
0 次浏览
数据来源: Wiktionary