I never understood what’s the deal with for Godel’s Second Incompleteness theorem in logic.

The consistency of a theory cannot be proved within the theory itself.

Duh! Did anyone thought that it could?