##  [Ordinal Prueba-Teórico](/index.php/es/node/60135) 

  ##  [Ordinal Prueba-Teórico](https://mathlogic.quantumdictionary.io/es/node/60136) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/index.php/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definición

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.