5.532

E analogamente: non «(∃x, y) . f (x, y) . x = y», ma «(∃x) . f (x, x)»; e non «(∃x, y) . f (x, y) . ~x = y», ma «(∃x, y) . f (x, y)».