Metastelling

Een metastelling is in de metalogica, de wiskundige logica en aanverwante disciplines zoals de metawiskunde een verklaring 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.