En logique, un métathéorème est une propriété d'un système formel démontrée hors du système formel. On distingue généralement les métathéorèmes des théorèmes qui eux sont démontrés à l'intérieur du système formel.
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Metatheorem » (voir la liste des auteurs).
Geoffroy Hunter, Metalogic : An Introduction to the Metatheory of Standard First Order Logic, Berkeley et Los Angeles, University of California Press, , 288 p. (ISBN978-0-520-02356-7, lire en ligne) — paperback en 1973 ; 6e impression, avec corrections, en 1996
Alasdair Urquhart, « Metatheory », dans Dale Jacquette (éditeur), A Companion to Philosophical Logic, Blackwell Publishing, coll. « Blackwell Companions to Philosophy », (ISBN978-0-631-21671-1), p. 307-318
