Ordinal systems are structures for describing ordinal notation systems, which extend the more predicative approaches to ordinal notation systems, like the Can-tor normal form, the Veblen function and the Sch utte Klammer symbols, up to the Bachmann-Howard ordinal.-ordinal systems, which are natural extensions of this approach, reach without the use of cardinals the strength of the theories for ...