metateorema
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
Article · Português
Em lógica, um metateorema é uma afirmação sobre um sistema formal comprovado em uma metalinguagem. Diferentemente de teoremas provados com um sistema formal, um metateorema é provado com uma metateoria, e pode receferenciar conceitos que são presentes na metateoria.
Abstract from DBpedia / Wikipedia · CC BY-SA