So certainly Hilbert was aware of the importance of GÃ¶del's work by 1934. The second volume in 1939 included a form of Gentzen's consistency proof for arithmetic.
**^** A detailed study of this terminology is given by Soare (1996).
**^** FerreirÃ³s (2001) surveys the rise of first-order logic over other formal logics in the early 20th century.
**^** Soare, Robert Irving (22 December 2011). "Computability Theory and Applications: The Art of Classical Computability" (PDF). *Department of Mathematics*. University of Chicago. Retrieved 23 August 2017.
**^** Jozef Maria Bochenski, *A Precis of Mathematical Logic*, rev. and trans., Albert Menne, ed. and trans., Otto Bird, Dordrecht, South Holland: Reidel, Sec. 0.3, p. 2.
**^** Jozef Maria Bochenski, *A Precis of Mathematical Logic*, rev. and trans., Albert Menne, ed. and trans., Otto Bird, Dordrecht, South Holland: Reidel, Sec. 0.3, p. 2.
## References

### Undergraduate texts So certainly Hilbert was aware of the importance of GÃ

mysqli_error: