Inducción completa El principio del buen orden: todo conjunto no vacío de enteros positivos posee un mínimo. El principio del buen orden: todo conjunto.
