Go backward to Example Go up to Top Go forward to Example |
Result defined by a formula:
Let f(x0, ..., xn-1) be the y such that F.
Translation:
f(x0, ..., xn-1) := such y: F
Plus claim (to be proved):
(forall x0, ..., xn-1, y: F => y = f(x0, ..., xn-1)).
Unicity has to be proved separately!