El método se basa a su vez en el axioma de que el conjunto de los números naturales es un conjunto bien ordenado.