A mathematical incompleteness in Peano arithmetic, Handbook for mathematical logic (1977)

by Jeff Paris, Leo Harrington
Venue:Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company