Teorema de Indefinibilidad de Tarski

Resultado formal que establece que ninguna lenguaje formal lo bastante expresivo (por ejemplo, capaz de representar aritmética básica) puede contener una fórmula que defina correcta y uniformemente el predicado 'verdad' para las oraciones de ese mismo lenguaje.