Origin: Greek prefix anti-
Definition, synonyms and related words
A syntactically correct expression whose negation is a theorem.