- - - forse hai frainteso, intendeva dire "perché zero fattoriale è uguale a uno", mentre forse tu lo hai inteso con "!=" che in molti linguaggi di programmazione indica "diverso", pertanto "come si dimostra che zero è diverso da uno"?
user4098 quindi, per dimostrare che zero fattoriale è uguale ad uno, la spiegazione in realtà è molto immediata: è una convenzione. Il motivo è il seguente, dato che N! è N*(N-1)!, occorre un elemento di partenza, parlando di numeri interi, il numero 1 è l'invariante della moltiplicazione e divisione (1 * x = x), in modo analogo a come il numero zero è l'invariante per la somma e sottrazione (x + 0 = 0). Quindi ha senso questa convenzione, 0!=1 e ci permette di calcolare il fattoriale di tutti i successivi numeri (1! = 1 * 0! = 1 * 1 = 1, ecc).