# On Godel's Second Incompleteness Theorem

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?

Written on July 9, 2023