fundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logic
--Agreed Upon Solutions
The discussion does not exist would you like to add the first comment?