Problema clássico: Existe algum polinômio em duas variáveis que defina uma bijeção entre NxN e N? Aqui N = {0,1,2,3,...} é o conjunto dos naturais e NxN é o produto cartesiano de N com N, i.e., é o conjunto dos pares ordenados de naturais. []s, N.