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.
Referências Geoffrey Hunter (1969), Metalogic. Alasdair Urquhart (2002), "Metatheory", A companion to philosophical logic, Dale Jacquette (ed.), p. 307
Categoria:Lógica Categoria:Terminologia matemática Categoria:Metateoremas