Métathéorème

Métathéorème

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

Références

  • (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. (ISBN 978-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 », (ISBN 978-0-631-21671-1), p. 307-318