The present situation in the foundations of mathematics (1995)

by K Gödel
Venue:in Collected Works, Vol. III [Gödel