How to pronounce “antitheorem”

Meaning

• [Noun]
• (logic) A syntactically correct expression whose negation is a theorem.

Practice Nearby Words

metatheorem, theorem, theorum, theorematist, literal, trivialism, proof by contradiction, fundamental theorem, boolean atom, positive logic, falsum, truth function, reduction to the absurd, theory, reductio ad absurdum, conservative extension, special case, not function, destructive sorites, antidomain, subalternate, thales's theorem, axiom system, inverse, axiomatic system, herbrand's theorem, antilog, law of nontriviality, tautology, proposition, negative, antithetic, proof system, thesis, antiset, truth table, axiom, antialgebra, vacuous truth, argument form, no-ghost theorem, atomic formula, natural deduction, antisymmetry, mayer-norton theorem, rice's theorem, counterterm, tauberian theorem, bertrand's postulate, no free lunch theorem, formula, abstract universal, principle of explosion, opposite, postulate, model, gödel's incompleteness theorem, sentence, löb's theorem, counterextension, analysis, prime formula, antitransform, theorem of pythagoras, intuitionistic logic, not operator, antilattice, rewriting, law of the excluded middle, lemma, prime number theorem, inversion, semantic tableau, constructive logic, unverity, matiyasevich's theorem, well-formed formula, closed formula, propositional function, turnstile, boolean logic, truthset, if-thenism, intuitionism, simplification, stone's representation theorem, baroko, monsky's theorem, definition, church-rosser theorem, proof, rosser's trick, number theorist, propositional constant, rational root theorem, paris-harrington theorem, thévenin's theorem, boolean function, synthesis, truth tree

Similar Sounds

antiserum, antemortem, antigram, antikythera, anteroom, animism, antihero, antrum, anticrime, anti hero, atomism, indecorum