Metateorema

Origem: Wikipédia, a enciclopédia livre.
(Redirecionado de Metateoremas)

Em lógica, um metateorema é uma afirmação sobre um sistema formal comprovado em uma metalinguagem. Diferentemente de teoremas provados com um sistema formal, um metateorema é provado com uma metateoria, e pode receferenciar conceitos que são presentes na metateoria.


Ícone de esboço Este artigo sobre lógica é um esboço. Você pode ajudar a Wikipédia expandindo-o.
Obtida de "https://pt.wikipedia.org/w/index.php?title=Metateorema&oldid=58783042"