antitheorem

A syntactically correct expression whose negation is a theorem.

Noun

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

Origin

From anti- + theorem.

Forms

antitheorems

From Wiktionary's contributor community, shared under CC BY-SA 4.0.