(a) It’s not Godel’s it’s just his most recent restatement. (c) A proof is a tes

(a) It’s not Godel’s it’s just his most recent restatement.
(c) A proof is a test of internal consistency of its axioms not external correspondence or operational possibility.
(b) Proofs test axioms and words. Theories test premises and actions.
(d) Logic falsifies not justifies