*Grundlagen der Mathematik
*Foundational crisis of mathematics

References

*G. Gentzen, 1936/1969. Die Widerspruchfreiheit der reinen Zahlentheorie. Mathematische Annalen 112:493-565. Translated as 'The consistency of arithmetic', in The collected papers of Gerhard Gentzen, M. E. Szabo (ed.), 1969.
*D. Hilbert. 'Die Grundlegung der elementaren Zahlenlehre'.

1.Previous
3.Next