Noun
antitheorem (plural antitheorems) (logic) A syntactically correct expression whose negation is a theorem.