Proceeding on lecture notes in mathematics - Lob M H (Berlin Springer-Verlag, 1968)
Appendix 328-330p
Keywords: Philosophy of maths