Cantor'sche Paarungsfunktion

aus Wikipedia, der freien Enzyklopädie