Por ejemplo, una definición de verdad para el lenguaje de cierta teoría de conjuntos no valdrá para el lenguaje de una teoría sobre esa teoría -sobre conjuntos de conjuntos-.