Reflecting on incompleteness

S. Feferman

The Journal of Symbolic Logic, vol. 56, no. 1, 1991, pp. 1–49