Par contre l'article <url> hérite de la version anglaise des choses dites de façon bien compliquée (le modèle de NBG, par exemple, où on a l'impression que cela fait référence aux constructibles, alors que ça n'a rien à voir). Et qui sait ce que c'est qu'un sousensemble définissable de type Δ0 (alors qu'il suffirait de borner les quantifications au Vκ dont il est question, et ça s'expliquerait facilement non ?