unproving

动词 v. 形容词 adj.

英文释义

动词 v.
  1. present participle and gerund of unprove form-of,gerund,participle,present
形容词 adj.
  1. Not offering or not constituting proof. not-comparable,rare
    — 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