5.532

Y análogamente: no «(∃x, y) . f (x, y) . x = y», sino «(∃x) . f (x, x)»; y no «(∃x, y) . f (x, y) . ~x = y», sino «(∃x, y) . f (x, y)».