Este artigo não cita fontes confiáveis. Ajude a inserir referências. Conteúdo não verificável pode ser removido.—Encontre fontes: ABW • CAPES • Google (N • L • A) (Julho de 2020) |
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.