Gödel-Nummerierung

aus Wikipedia, der freien Enzyklopädie