Aller au contenu

Métathéorème

Un article de Wikipédia, l'encyclopédie libre.

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.

Références

[modifier | modifier le code]
  • (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