Godel 's second incompleteness theorem: How it is derived and what it delivers