Go backward to Implicit Function Definitions Go up to Top Go forward to Example |
Definition: term (such x: F)
New Axiom:
(exists x: F) => (forall x: x = (such x: F) => F),
If an object with property F exists, then the value of the "such term" satisfies F as well.