Ordinale Présento-Théorique

Un ordinal (souvent présenté via un système de notations) qui mesure la force proof-théorique d'une théorie formelle, typiquement défini comme le supremum des ordinaux pour lesquels la théorie peut prouver l'induction transfinie ou la bien-fondation des systèmes de notations correspondants.