A proof is only as good as definitions and axioms used in the proof. All of the computer-verified proofs of existence of [Gödel 1931] proposition I'mUnprovabl

A proof is only as good as definitions and axioms used in the proof. All of the computer-verified proofs of existence of [Gödel 1931] proposition I'mUnprovable left out the order of proposition in its Gödel number :-(