En la lógica clásica ∃x(x=y) se puede deducir del axioma Y=Y por la particulización(3).