Wenn man ˇin der Logik scheinbar m (wie Ramsey) mehrere verschiedene Universen betrachtet ˇ(wie Ramsey) so betrachtet, so betrachtet man in Wirklichkeit verschiedene Spiele. Die Erklärung eines „Universums” würde z.B. in Ramseys Fall einfach
eine
die
Definition
     (∃x) φx ≝ φa ⌵ φb ⌵ φc ⌵ φd sein.