[03H] Trovato un polinomio \(p(x,y)\) che, visto come funzione \(p:ℕ^ 2→ ℕ\) sia bigettivo. Se ne ricava, iterando, che esiste un polinomio \(q_ k\) in \(k\) variabili bigettivo \(q_ k:ℕ^ k→ℕ\). Dunque \(ℕ^ k\) è numerabile.
[03J]↺↻
