Wiktionary
nontheorem
n. (context logic English) That which is not a theorem.
n. (context logic English) That which is not a theorem.