In the first pages of SGA4 I read

[...] Cependant le seul univers connu est l'ensemble des symboles du type {Ø,{Ø},{Ø,{Ø}}, ... } etc. (tous les éléments de cet univers sont des ensembles finis et cet univers est dénombrable). En particulier, on ne connaît pas d'univers qui contienne un élément de cardinal infini. [...]

(the sole known universe is like {Ø,{Ø},{Ø,{Ø}}, ... }, and we don't know any universe with a infinite cardinal).

Mais, c'est vrai? I wonder if during all these years somebody discovered a universe "bigger" than that exhibited by Grothendieck.