Template:Individual-TLP-paragraph-de-5.532
5.532 Und analog: Nicht „(∃x, y) . f (x, y) . x = y“, sondern „(∃x) . f (x, x)“; und nicht „(∃x, y) . f (x, y) . ∼x = y“, sondern „(∃x, y) . f (x, y)“.
(Also statt des Russell’schen „(∃x, y) . f (x, y)“: „(∃x, y) . f (x, y) . ∨ . (∃x) . f (x, x)“.)