Wiktionary
antitheorem
n. (context logic English) A syntactically correct expression whose negation is a theorem.