Multivariable polynomial injections on rational numbers

For each number field k, the Bombieri-Lang conjecture for k-rational points on surfaces of general type implies the existence of a polynomial f(x,y) in k[x,y] inducing an injection k x k --> k.