Definiciones implícitas y explícitas

La dualidad implícito–explicito está presente en diversos contextos matemáticos. La lógica la ha abordado de diferentes maneras, como ejemplo principal puede citarse el teorema de Beth. Por otro lado, el siempre fructífero traslado de técnicas y problemas entre disciplinas diversas plantea la posibilidad de un “teorema de Beth algebraico”