In der Terminologie der Theorie der rekursiven Datentypen stellen die von Neumannschen Ordinalzahlen eine Implementierung des rekursiven Datentypus Ordinalzahl dar, d. h. ein Modell der obigen Menge von Axiomen.