Es en este marco que se inscribe la teoría de los tipos y la teoría de la descripción definida.