The present situation in the foundations of mathematics, [Gödel (1995)

by K Gödel