a b c d
e f g h(Ƒ)
Wenn ich zwei Viererklassen habe so könnte ich sagen: Daß diese Klasse gleichzahlig ist kann ich zeigen weil es möglich ist die Namen in Paare zusammen zu fassen die eine 1–1 Relation zwischen den Klassen etablieren.
     Ich kann also etwa schreiben a e, b f, e g, d h. Diese Möglichkeit der Zusammenfassung der Namen beweist natürlich etwas über die Klassen (nämlich ihre Gleichzahligkeit). Und genau dasselbe beweist auch die mögliche Zusammenfassung durch Identitäten (a = x ∙ y = e etc.).