Godels proof - Nagel, Ernest (NEW YORK UNIVERSITY PRESS NEW YORK, 1958)
Keywords: MATHMATICS