{"version":"1.0","type":"link","title":"Metatheorem - Newikis","description":"In 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.[citation needed]","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}