Discusión:Teoría de tipos
La 2ª referencia es publicidad, sugeriría que se eliminara, la primera es inentiligible, emplea fórmulas sin hacer una definición metamatemática previa de los símbolos que usa y las categorías sintácticas a las que pertenece Raúl Aparicio Bustillo.