Una proposición similar, "∃ "y" ("y" × "y" = 0 − 1)", es falsa en los reales, pero es verdadera en los números complejos, donde "i" × "i" = 0 − 1.