Supongamos quex0 es nuestro ejemplo concreto demostrando(∃x)A(x). Para mostrar quex0 es único, debemos probar la afirmación universal:\((\forall y)(A(y) \rightarrow (y = x_...Supongamos quex0 es nuestro ejemplo concreto demostrando(∃x)A(x). Para mostrar quex0 es único, debemos probar la afirmación universal:(∀y)(A(y)→(y=x0)). Esto se traduce como lo siguiente. Para probar quex=x0 es la instancia única de un objetox tal queA(x) es cierto, asumir que tambiény es un objeto tal queA(y) es cierto, y probar quey=x0.
