Describir: La reducción de la teoría de tipos de hintikka a la lógica de segundo orden