La validez de la inducción matemática está basada en el principio de buena ordenación de los conjuntos de números enteros no negativos.