Utilice el calculo de predicados para formular el hecho consistente en que f( x ) es una funcion de x si para cada x hay exactamente un y tal que y = f( x )
∀ x {\displaystyle \forall _{x}} ∃ y {\displaystyle \exists _{y}} ( ( f( x ) = y ) ∧ {\displaystyle \land } ∀ z {\displaystyle \forall _{z}} ( f( x ) = z ⇒ {\displaystyle \Rightarrow } z = y ) )
