Second incompleteness theorem

Summary