Metastelling
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 · Nederlands
Een metastelling is in de metalogica, de wiskundige logica en aanverwante disciplines zoals de metawiskunde een met betrekking tot stellingen die op hun beurt deel uitmaken van een andere wetenschappelijke theorie of met betrekking tot een axiomatische methode. Een metastelling verschilt daarmee van een gewone stelling in die zin dat ze niet binnen het kader van een gewone wetenschappelijke theorie geuit wordt. Als er door manipulatie iets aan de besproken theorie verandert (bijvoorbeeld door de toevoeging van nieuwe axioma's), is de metastelling vaak niet meer geldig.
Abstract from DBpedia / Wikipedia · CC BY-SA