Beweis-Theoretische Ordinalzahl

Eine Ordinalzahl (oft über ein Notationssystem dargestellt), die die beweistheoretische Stärke einer formalen Theorie misst, typischerweise definiert als das Supremum der Ordinäle, für die die Theorie transfinite Induktion oder die Wohlfundiertheit der entsprechenden Notationssysteme beweisen kann.