Jump to content

antitheorem

From Wiktionary, the free dictionary

English

[edit]

Etymology

[edit]

From anti- +‎ theorem.

Noun

[edit]

antitheorem (plural antitheorems)

  1. (logic) A syntactically correct expression whose negation is a theorem.
Retrieved from "https://en.wiktionary.org/w/index.php?title=antitheorem&oldid=81203371"