Stephen King

Vous comprenez donc bien que même si l’on augmente le nombre de variables, les axiomes eux-mêmes restent valides.