Hilbert’s works in the foundations of geometry and arithmetic. Modern axiomatic method. Hilbert’s Program: meta-mathematics and proof theory. Formalism and Finitism. Epistemic completeness.
Reading: (1) D. Hilbert, Foundations of Geometry (1899), (2) (2) A. Rodin, Category Theory and Axiomatic Method, ch.3.