The Journal of Philosophy

Volume 97, Issue 8, August 2000

Haim Gaifman
Pages 462-470

What Gödel’s Incompleteness Result Does and Does Not Show