Godels Proof door Ernest Nagal & James R. Newman