Template:Individual-TLP-paragraph-pt-br-5.532

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)”.

(Dêsse modo, em vez da fórmula de Russell “(∃x, y) . f(x, y)”, temos “(∃x, y). f(x, y) . ∨ . (∃x) . f(x, x)”).