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.