Template:Individual-TLP-paragraph-fr-5.532
5.532 Et de même, non pas « (∃x,y) . f(x,y) . x = y » mais « (∃x) . f(x,x) » ; ni « (∃x,y) . f(x,y) . ~x = y) », mais « (∃x,y) . f(x,y) ».
(Donc, au lieu de la formule de Russell « (∃x,y) . f(x,y) », j'écris « (∃x,y) . f(x,y) . ∨ . (∃x) . f(x,x) ».)