Godels Proof by Ernest Nagal & James R. Newman