Métathéorème
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 · Français
En logique, un métathéorème est une propriété d'un système formel démontrée hors du système formel. On distingue généralement les métathéorèmes des théorèmes qui eux sont démontrés à l'intérieur du système formel. Des métathéorèmes typiques sont la cohérence, la complétude et la correction.
Abstract from DBpedia / Wikipedia · CC BY-SA