Ordinal Prueba-Teórico

Un ordinal (a menudo presentado mediante un sistema de notaciones) que mide la fuerza prueba-teórica de una teoría formal, típicamente definido como el supremo de los ordinales para los cuales la teoría puede demostrar inducción transfinitista o la bien-foundedness de los sistemas de notación correspondientes.