 | Este artigonão citafontes confiáveis. Ajude ainserir referências. Conteúdo nãoverificável pode ser removido.—Encontre fontes:Google (N • L • A • I • WP refs) • ABW • CAPES(julho de 2020) |
Emlógica, ummetateorema é uma afirmação sobre umsistema formal comprovado em umametalinguagem. Diferentemente de teoremas provados com um sistema formal, um metateorema é provado com umametateoria, e pode receferenciar conceitos que são presentes nametateoria.
 | Este artigo sobrelógica é umesboço. Você pode ajudar a Wikipédiaexpandindo-o. |