The Unprovability of Consistency (1979)

by G Boolos