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.