That is not a “proof” in the statement of Gödel’s theorem. A proof (there) is just a finite number of symbols which happens to have a specifix form (A=>B AND A

That is not a “proof” in the statement of Gödel’s theorem. A proof (there) is just a finite number of symbols which happens to have a specifix form (A=>B AND A), where A and B are sentences, which are finite sequences of symbols having a slecific form… Wait, I am telling you a half of what Gödel did to prove his result.