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.
Des métathéorèmes typiques sont la cohérence, la complétude et la correction.
Voir aussi Métathéorie Logique mathématique
Références
— paperback en 1973 ; impression, avec corrections, en 1996
Catégorie:Logique Catégorie:Théorie de la démonstration