Complete os detalhes da seguinte demonstração do princípio de Boa Ordenação: Seja A está contido em N um conjunto que não possui um menor elemento. Considere o conjunto X formado pelos números naturais n tais que 1, 2, ... n não pertence a A. Observe que 1 pertence a X e, alem disso, n pertence a X então todos os elementos de A são maiores do que n + 1. Como n + 1 não pode ser o menor elemento de A. Conclua que n + 1 pertence a X, logo, por indução, segue – se que X = N, portanto A é vazio.