Gödel’s proof (1958)

by Ernest Nagel, James R Newman