antitheorem

English edit

Etymology edit

anti- +‎ theorem

Noun edit

antitheorem (plural antitheorems)

(logic) A syntactically correct expression whose negation is a theorem.

Retrieved from "https://en.wiktionary.org/w/index.php?title=antitheorem&oldid=51803000"