Your statement 2 of Gödel's second result is false because

Gödel's second result is false for foundational theories.

Foundational theories can in fact prove their own consistency.

However, the self-proof of consistency is not very convincing

because the proof is valid even if the theory is inconsistent.

Fortunately, there is another way to prove consistency by

showing that a theory has a mathematical model.

See the following for an overview:

https://papers.ssrn.com/abstract=3603021