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