Für surjektiv wäre mein Ansatz,: Sei (x,y) ∈ ℕxℕ.
Dann definiere die Funktion f von {0;1} nach ℕ mit f(0)=x und f(1)=y.
Dann ist offenbar φ (f) = (x,y) .
injektiv: Seien f und g Funktionen von {0;1} nach ℕ mit
φ (f) = φ (g)
==> ( f(0) , f(1) ) = ( g(0) ,g(1) )
==> f(0) = g(0) und f(1) = g(1)
Also stimmen f und g an allen Stellen ihres Definitionsbereiches überein
==> f = g.