Church-Kleene-Ordinalzahl

aus Wikipedia, der freien Enzyklopädie