Etymology
Today it means: A syntactically correct expression whose negation is a theorem. Full definition →
From anti- + theorem.
Etymology from Wiktionary, CC BY-SA 4.0.