@user21820 Can you have a look at
this question? (any other logically minded folk should look, too). My naive understanding of Gödel is that he states that there are true statements which cannot be proved, which is not what is asserted by the asker (who states, essentially, that there are statements which are independent from the axioms).