Originariamente inviata da
fcaldera
Supponiamo sia vero di poter caricare un numero <n> di macchine e dimostriamo si possibile farlo per <n+1>
sia <n> uguale a zero. Zero macchine sono caricabili, è evidente
prendiamo ora <n+1> macchine. Se da <n+1> macchine prendiamo le prime <n>, è chiaro per ipotesi induttiva che siano caricabili. Ma lo sono anche le ultime <n>. Quindi <n+1> macchine sono caricabili
E abbiamo dimostrato che possiamo caricare un numero qualsiasi di macchine per induzione.