Los ordinales se utilizan comúnmente para realizar demostraciones de terminación de algoritmos.