Condições de equivalência entre os princípios da indução fraca, da indução completa, e da boa ordem Documento