Go backward to Function Applications Go up to Top Go forward to Defining Functions

Example

A statement with quantified function variables

forall y: exists f: forall x: f(x)=y

forall y: exists f: forall x: apply(f, x)=y

forall y: exists f: forall x: <x, y> in f.

Blur distinction between functions as sets and functions in logic.