Uses ordinal notation and transfinite induction to measure the strength of formal theories. The chapter develops consistency arguments and explains what proof-theoretic ordinals reveal about arithmetic systems.
