Bonjour
c'est vrai on peut faire une recurrence dans Q tout smplement puisqu'il est dénombrable. Plus précisement, il existe une recurrence double de la manière suivante soit P(n,m) une propriété alors P vraie pour tout m,n entier ssi elle est vrai pour m=0 et n quelconque, n=0 et m quelconque.
et si P vraie pour n et m elle l'est pour n+1 et m et pour n et m+1 et pour n+1 et m+1
AA+