El primero que se indique explícitamente que los de segundo orden, la lógica es unaxiomatizable?

Question

Como cada estudiante sabe ahora, de segundo orden consecuencia lógica es que unaxiomatizable. (Al menos cuando leemos el segundo orden de los cuantificadores en la forma natural, como la que se ejecuta sobre todos los posibles propiedades en el primer orden de dominio).

¿Alguien sabrá por casualidad que, en los días de gloria, fue muy claro y explícito acerca de esto?

Answer 1

Leon Henkin indicó este hecho, sin hacer referencia en su década de 1950 papel en la JSL donde demostró el teorema de completitud de segundo orden, la lógica, la semántica de Henkin [1].

1: http://www.jstor.org/stable/2266967