New posts in Incompleteness

Does the independence of the axiom of choice imply Gödel's incompleteness theorem?

I don't understand Gödel's incompleteness theorem anymore

Decidability vs Completeness

Statement true because not provable

Why doesn't Gödel's incompleteness theorem apply to false statements?

Why does Gödel's Second Incompleteness Theorem undermine Hilbert's program?

Gödel's completeness theorem and the undecidability of first-order logic

Why can't we prove consistency of ZFC like we can for PA?

Is consistency an axiom of mathematics?

With this definition of completeness, Gödel's Incompleteness result seems not surprising, so why it was back then?