Planteamiento intensional de la lógica de términos (intensionalidad).