Con: 1930. La suficiencia de los axiomas del cálculo lógico de primer orden 1930a. Un caso especial del problema de la desición en la lógica teórica 1930a. Algunos resultados matemáticos sobre completud y consistencia 1931. Sobre sentencias formalmente indecibles de Principia Mathemática y sistemas afines 1931a. Sobre completud y consistencia 1931b. Discusión sobre la fundamentación de la matemática 1931c. Una propiedad de los modelos del cálculo conectivo 1932. Sobre pruebas de independencia en el cálculo conectivo 1932a. Sobre el cálculo conectivo intuicionista 1932b. Una interpretación del cálculo conectivo intuicionista 1932c. Sobre la teoría de números y la aritmética intuicionista 1933. Sobre el problema de la desición de la lógica de primer orden 1933a. Observaciones sobre aplicaciones proyectivas 1934. Sobre sentencias indecibles de sistemas formales matemáticos 1934a. Recensión de Th Skolem (1933) 1935. Sobre la longitud de las deducciones 1938. La consistencia del axioma de elección y la hipótesis generalizada del continuo 1939. Prueba de la consistencia de la hipótesis generalizada del continuo 1940. La consistencia del axioma de elección y de la hipótesis generalizada del continuo con los axiomas de la 1944. La lógica matemática de Russell 1946. Observaciones presentadas ante la conferencia del bicentenario de Princeton sobre problemas de las matem 1947. ¿Qué es el problema del continuo de Cantor? 1949. Un ejemplo de un nuevo tipo de soluciones cosmológicas a las ecuaciones einsteinianas del campo gravitar 1949a. Una observación sobre la relación entre la teoría de la relatividad y la filosofía idealista 1950. Universos ritatorios en la teoría general de la relatividad 1958 Sobre una ampliación todavía no utilizada del punto de vista finitario 1974. Declaración sobre el análisis no - estándar.
