Métathéorique

Le terme « métathéorique » se réfère à l'étude de la métathéorie, qui est une discipline philosophique et mathématique s'intéressant aux propriétés des systèmes formels.

Dans ce contexte, un système formel est un ensemble structuré d'axiomes, de règles de déduction et de théorèmes. La métathéorie étudie ces systèmes en utilisant un langage spécialisé, appelé méta-langage, qui permet de parler du système formel lui-même.

Ainsi, les questions métathéoriques concernent les aspects logiques, épistémologiques et ontologiques des systèmes formels, tels que leur cohérence, leur complétude ou encore leur expressivité.