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 V fb V fc V fd sein.