How to pronounce “metatheorem”

Meaning

• [Noun]
• (logic) A statement about theorems proven in a metalanguage.

Practice Nearby Words

antitheorem, theorum, theorem, theorematist, fundamental theorem, theory, lemma, special case, proof system, metamathematician, axiomatic system, thesis, sublemma, proof, conservative extension, metaconjecture, löb's theorem, formal logic, logical calculus, metaproperty, mathematese, postulate, tautology, axiom system, completeness, analysis, semantic tableau, induction, herbrand's theorem, definition, gödel's incompleteness theorem, model, natural deduction, metabelianization, matiyasevich's theorem, mean value theorem, zermelo's theorem, generalization, metamathematics, categorification, demonstration, lambda term, many-valued logic, constructive logic, prover, proof by contradiction, tauberian theorem, metaconcept, inference rule, stone's representation theorem, schema, logic, axiom, proposition, matheme, interpretation, mathematical logic, well-formed formula, five lemma, truth function, abstract universal, turnstile, type theory, computability logic, trivialism, logicism, valuation, rewriting, formalism, thales's theorem, sequent calculus, transitivity, structurality, formula, tactical, rice's theorem, metarepresentation, formation rule, antimatroid, löwenheim-skolem theorem, conjecture, probabilistically checkable proof, entscheidungsproblem, mittag-leffler's theorem, ternary logic, propositional calculus, computability theory, folklore, halmos, deductive closure, tableau, propositional logic, synthesis, weakening, forward reasoning, if-thenism, subproof, proof by example, subformula, church-rosser theorem

Similar Sounds

megatherium, metal drum, metrum, metazoan, metafora, metamerism, misotheism, mysticism, iotacism, psittacism