An so grundlegender Stelle sollten wir uns an die Prädikatenlogik erster Stufe halten und keine Formeln hinschreiben, die erst Sinn ergeben, wenn Notationen für echte Klassen zusätzlich eingeführt worden sind. Zunächst einmal ist ein immer "existent". Oder verstehe ich die Motivation deiner Einfügung falsch? -- Chricho 19:42, 6. Feb. 2015 (CET)