b'\n_START_ARTICLE_\nInducci\xc3\xb3n fuerte\n_START_PARAGRAPH_\nLa inducci\xc3\xb3n fuerte o inducci\xc3\xb3n completa es un m\xc3\xa9todo de demostraci\xc3\xb3n matem\xc3\xa1tica similar a la inducci\xc3\xb3n matem\xc3\xa1tica com\xc3\xban, pero difiere en el razonamiento de lo que queremos demostrar. Se toma un n\xc3\xbamero fijo y se toma como hip\xc3\xb3tesis que es cierto para otro n\xc3\xbamero fijo mayor que \xc3\xa9ste y para todos los que est\xc3\xa1n entre ellos. As\xc3\xad, la afirmaci\xc3\xb3n es cierta s\xc3\xb3lo si tambi\xc3\xa9n se cumple para el sucesor de este \xc3\xbaltimo n\xc3\xbamero._NEWLINE_Existe tambi\xc3\xa9n un m\xc3\xa9todo de inducci\xc3\xb3n d\xc3\xa9bil o inducci\xc3\xb3n desplazada, que usa un razonamiento en cierto modo inverso a este, ya que toma como base la hip\xc3\xb3tesis de que es cierta para el antecesor del que se quiere demostrar._NEWLINE_El procedimiento es v\xc3\xa1lido considerando que los elementos de lo que queremos demostrar pertenecen a un conjunto inductivo. Es decir, el conjunto de todas las afirmaciones es un conjunto inductivo.'