Essays in the philosophy of mathematics - Goodstein, R. L. (1965)