Ordinal analysis is a method in mathematical logic used to measure the strength of formal systems by assigning ordinals, which are well-ordered sets, to these systems. This technique helps in understanding the proof-theoretic strength and consistency of mathematical theories, especially in the context of Peano arithmetic and set theory.