Un méta-théorème est un théorème dans des systèmes de déduction dans lequel les objets sont eux-mêmes des théorèmes.