The Unprovability of Consistency (1979)

by George Boolos