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