メタ定理
Sign in to saveIn logic, a metatheorem is a statement about a formal system proven in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory but not the object theory.
Wikidata facts
- Subclass of
- theorem
Show 3 more facts
- topic's main category
- Category:Metatheorems
- studied by
- metamathematics
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0