/  
(∃n): (Еnx) φx ∙ (Еnx) ψx
(∃R):. φx ⊃ x (Е1y)xRy ∙ ψy: [(|ψ]x ⊃ x (Е1y)yRx ∙ φy
Wie kommt es, daß es hier scheinbar zwei Darstellungsformen der Zahlengleichheit gibt, die eine amorph, die andere nicht?
Die eine Darstellung läßt die einzelnen Möglichkeiten der Zahlengleichheit erkennen, die andere verhüllt sie.