antitheorem

Noun

 * 1)  A syntactically correct expression whose negation is a theorem.