Etymology

antitheorem

A1N1T1I1T1H4E1O1R1E1M3

Today it means: A syntactically correct expression whose negation is a theorem. Full definition →

Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok