EGAVE

antitheorem

Meaning

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

Similar words

metatheorem theorem theorum theorematist literal trivialism proof by contradiction fundamental theorem boolean atom positive logic

Save “antitheorem” to learn later