unproving adjective1 •(rare) 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; […] — 2020
