Propiedad de Definibilidad de Beth

La propiedad según la cual siempre que un símbolo no lógico (relación, función o constante) es definible implícitamente por una teoría —es decir, cualesquiera dos modelos de la teoría que concuerdan en el lenguaje base también concuerdan en la interpretación de ese símbolo— entonces existe una definición explícita de ese símbolo mediante una fórmula en el lenguaje original (una fórmula definitoria