We are using cookies This website uses cookies in order to offer you the most relevant information. By browsing this website, you accept these cookies.
Fundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logic.