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 Ramsey's Fall einfach die || eine Definition (∃x).fx ≝ fa fb fc fd sein.