A szerkezeti determináltság tisztázásához, ha az egyáltalán lehetséges, a lehetséges világok Kripke-szemantikájának analízise volna szükséges.

Persze egészen más volna a helyzet, ha nem kötne minket, hogy V-ről van szó. Ha csak ZFC-modellekről, akár valódi osztályokról volna szó, ez nem jelentene problémát: minden lehetséges világban van egy V, de ez csak egy ZFC-modell. A gond itt a self-reference: a modális logika maga is matematika, és interpretálható a halmazelméletben, azaz V-ben.

És akkor megint ott vagyunk, hogy egyetlen V van.