C'est valide comme raisonnement montrer qu'une propriété est vrai au rang n-1 ?
oui
Bah ouais Z est dénombrable
Ouaip, ça revient plus ou moins à changer la définition de $P_n$ de "la propriété est vraie au rang $n$" par la propriété est vraie au rang $-n$".
Rang n+1, n-1 et initialisation, et ca marche
Ok c'était pour être sur