5.532

E anàlogamente: não “(∃x, y) . f(x, y) . x = y”, mas “(∃x). f(x, x)”; não “(∃x, y). f(x, y) . ∼x = y”, mas “(∃x, y). f(x, y)”.